Tim Sweeney

According to our database, Tim Sweeney authored at least 7 papers between 2005 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

The Verse Calculus: A Core Calculus for Deterministic Functional Logic Programming.

Lennart Augustsson, Joachim Breitner, Koen Claessen, Ranjit Jhala, Simon Peyton Jones, Olin Shivers, Guy L. Steele Jr., Tim Sweeney

Proc. ACM Program. Lang., August, 2023

2019

Foundational principles & technologies for the metaverse.

Tim Sweeney

Proceedings of the Special Interest Group on Computer Graphics and Interactive Techniques Conference, 2019

2013

Formalisation of the lambda aleph Runtime.

Neal Glew, Tim Sweeney, Leaf Petersen

CoRR, 2013

A multivalued language with a dependent type system.

Neal Glew, Tim Sweeney, Leaf Petersen

Proceedings of the 2013 ACM SIGPLAN workshop on Dependently-typed programming, 2013

2008

Wild speculation on consumer workloads in 2010-2020.

Tim Sweeney

Proceedings of the 4th International Symposium on Workload Characterization (IISWC 2008), 2008

2006

The next mainstream programming language: a game developer's perspective.

Tim Sweeney

Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2006

2005

PeaceMaker: A Video Game to Teach Peace.

Asi Burak, Eric Keylor, Tim Sweeney

Proceedings of the Intelligent Technologies for Interactive Entertainment, 2005