@semgrep San Francisco I like type theory and functional programming languages
Matthew McQuaid
A pure type system implemented in OCaml
mmcqd
A dependent type theory with user defined data types
Higher kinded polymorphism in SML
