4
Repos
106
Stars
46
Forks
106
Watchers
Repositories (4)
modules-papers
ak3n/modules-papers
A collection of papers on modules.
79
3
urfu-fp-intro-20
ak3n/urfu-fp-intro-20
Haskell
Спецкурс "Введение в функциональное программирование" в УрФУ в 2020
21
43
system-f-pop
ak3n/system-f-pop
OCaml
An implementation of http://www.cis.upenn.edu/~stevez/papers/MZZ10.pdf with examples and details from https://github.com/kpavery/System-Fo
6
0
higher-order-modules
ak3n/higher-order-modules
An attempt to formalize https://www.cs.cmu.edu/~rwh/papers/thoms/popl.pdf in Twelf
0
0