Andor Penzes
Andor Penzes
Structured Computation on Trees [uustalu0812-slides.pdf](https://github.com/andorp/grin/files/1670475/uustalu0812-slides.pdf)
[Functorial Data Migration.pdf](https://github.com/andorp/grin/files/1685772/Functorial.Data.Migration.pdf)
A Syntactic Type System for Recursive Modules [oopsla2011.pdf](https://github.com/andorp/grin/files/1689188/oopsla2011.pdf)
Introducing the backprop library https://blog.jle.im/entry/introducing-the-backprop-library.html
A Denotational Semantics for Weak Memory Concurrency [brookesslides.pdf](https://github.com/andorp/grin/files/1740270/brookesslides.pdf)
[On the type structure of standard ML](https://github.com/andorp/grin/files/1747531/harper93.pdf)
Cedille-core: https://github.com/MaiaVictor/cedille-core
Generic Derivation of Induction for Impredicative Encodings in Cedille http://homepage.divms.uiowa.edu/~astump/papers/cpp-2018.pdf
Calculating Correct Compilers: http://www.cs.nott.ac.uk/~pszgmh/ccc.pdf
Making a Fast Curry: Push/Enter vs Eval/Apply for higher order languages: * https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/eval-apply.pdf * https://www.microsoft.com/en-us/research/publication/make-fast-curry-pushenter-vs-evalapply/?from=http%3A%2F%2Fresearch.microsoft.com%2Fen-us%2Fum%2Fpeople%2Fsimonpj%2Fpapers%2Feval-apply%2F * https://www.microsoft.com/en-us/research/uploads/prod/2016/07/eval-apply-icfp.pdf