Johan Alm

Advanced
@August-Alm

sequent. OCaml

23

ATS-Experiments. Small programs testing out features of the ATS (Postiatis) programming language.

6

theta. Haskell

5

ats_csv_lexer. A program to parse CSV files, written in ATS (ATS2).

1

Lambda-Calculus-by-Linear-HOAS. An interpreter of lambda calculus in ATS2 that uses a HOAS encoding in linear types.

1
5
Apply