https://www.microsoft.com/en-us/research/blog/fp2-fully-in-place-functional-programming-provides-memory-reuse-for-pure-functional-programs/

https://medium.com/@octskyward/graal-truffle-134d8f28fb69#.jo3luf4dn http://nez-peg.github.io/ https://en.wikipedia.org/wiki/DFA_minimization

https://news.ycombinator.com/item?id=14589173 http://jamey.thesharps.us/2017/06/search-based-compiler-code-generation.html

https://news.ycombinator.com/item?id=15105119 https://en.wikipedia.org/wiki/Tree_transducer

Type-Driven Program Synthesis

https://news.ycombinator.com/item?id=18251145 https://www.youtube.com/watch?v=HnOix9TFy1A http://comcom.csail.mit.edu/comcom/#welcome https://bitbucket.org/nadiapolikarpova/synquid

Formality – An efficient programming language and proof assistant

https://news.ycombinator.com/item?id=18230148 https://github.com/maiavictor/formality

https://treecalcul.us/