Posix Abstractions in Modern Operating Systems: Old, New, and Missing [pdf]roxanageambasu.github.io·2 pts·bshanks·1
SECD machine (1963 abstract machine target for functional programming languages)en.wikipedia.org·3 pts·bshanks·0
ΜKanren: A Minimal Functional Core for Relational Programming (2013) [pdf]webyrd.net·26 pts·bshanks·2
Modular implicits – a system for ad-hoc polymorphism in OCaml [pdf]eptcs.web.cse.unsw.edu.au·63 pts·bshanks·1
Conversion of carbon into diamond at ambient pressures and temperaturesscitation.aip.org·1 pts·bshanks·0
Wearing the hair shirt: a retrospective on Haskell (2003) [pdf]research.microsoft.com·4 pts·bshanks·0