notes
(
index
)
programming languages
python
julia
haskell
ocaml
coq
, the
calculus of inductive constructions
, and the
Curry-Howard isomorphism
Links to this note
julia
Programming Language Foundations in Agda by Philip Wadler in 2018
An introduction to probabilistic programming by Jan-Willem van de Meent, Frank Wood et al in 2018