Pinned Loading

1. errata errata Public

   Error handling made precise. Because error handling belongs in the types.

   Scala 27 2

2. typing-linear-pi typing-linear-pi Public

   Typing the linear pi calculus in Agda

   TeX 29 4

3. CoContextualPi CoContextualPi Public

   Agda 11 1

4. agda-bcam agda-bcam Public

   Tutorial series introducing Agda to the people at BCAM

   Agda 27 4

5. session-types-coq session-types-coq Public

   Formalising session types in Coq

   TeX 17 1

6. fyp fyp Public

   My final year project at the University of Strathclyde

   Agda 13 1