Tim Sweeney

Publication Activity (10 Years)

Years Active: 2005-2023
Publications (10 Years): 2

Top Topics

Computational Logic

Inductive Logic Programming

Logic Programming

Top Venues

Proc. ACM Program. Lang.

Publications

Lennart Augustsson, Joachim Breitner, Koen Claessen, Ranjit Jhala, Simon Peyton Jones, Olin Shivers, Guy L. Steele Jr., Tim Sweeney
The Verse Calculus: A Core Calculus for Deterministic Functional Logic Programming. Proc. ACM Program. Lang. 7 (ICFP) (2023)
Tim Sweeney
Foundational principles & technologies for the metaverse. SIGGRAPH Talks (2019)
Neal Glew, Tim Sweeney, Leaf Petersen
A multivalued language with a dependent type system. DTP@ICFP (2013)
Neal Glew, Tim Sweeney, Leaf Petersen
Formalisation of the lambda aleph Runtime. CoRR (2013)
Tim Sweeney
Wild speculation on consumer workloads in 2010-2020. IISWC (2008)
Tim Sweeney
The next mainstream programming language: a game developer's perspective. POPL (2006)
Asi Burak, Eric Keylor, Tim Sweeney
PeaceMaker: A Video Game to Teach Peace. INTETAIN (2005)