Pinned Repositories
compiler-formalisation
Formalisation of a simple compiler from a language with cooperative multitasking and message passing to a language with continuations and (fully) preemptive multitasking.
fsen-formalisation
oak
Meaningful control of data in distributed systems.
transactional-memory
Various things about transactional memory
Type-Theory-Foundations
Some stuff from Robert Harper's lectures at OPLSS, formalized in Agda.
ITT9200
ITT9200 - A reading group on "Syntax and Semantics of Dependent Types" by Martin Hofmann
oak
Meaningful control of data in distributed systems.
andrisaar's Repositories
andrisaar/Type-Theory-Foundations
Some stuff from Robert Harper's lectures at OPLSS, formalized in Agda.
andrisaar/transactional-memory
Various things about transactional memory
andrisaar/compiler-formalisation
Formalisation of a simple compiler from a language with cooperative multitasking and message passing to a language with continuations and (fully) preemptive multitasking.
andrisaar/fsen-formalisation
andrisaar/oak
Meaningful control of data in distributed systems.