Programming Languages Research
Browse by
Programming languages research in the Laboratory for Foundations of Computer Science spans foundations and application areas from web programming and databases to security and quantum computation, using techniques from category theory, type theory, formal verification, operational and denotational semantics, logic, and automata theory.
http://wcms.inf.ed.ac.uk/lfcs/research/groups-and-projects/pl
Items in this Collection
-
Triangulating Context Lemmas
Agda formalisation to accompany the paper "Triangulating Context Lemmas" by Craig McLaughlin, James McKinna and Ian Stark. DOI 10.1145/3167081.