Combining physical and visual simulation---creation of the planet Jupiter for the film “2010” - Yaeger, et al

Learning concepts through conversations in spoken dialogue systems 

Bootstrapping semantic parsers from conversations 

Elements of a Relational Theory of Datatypes 

A tutorial on the universality and expressiveness of fold 

A commutative replicated data type for cooperative editing 

CRDTs: Consistency without concurrency control 

Designing a commutative replicated data type 

Verified Peephole Optimizations for CompCert 

Improving the Static Analysis of Embedded Languages via Partial Evaluation 

Improving Haskell Types with SMT 

Type Systems as Macros 

Paper: Type Tailoring 

Show more

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!