Hacker News
- In the Beginning was the Command Line (1999) http://cristal.inria.fr/~weis/info/commandline.html 64 comments
- In the Beginning Was the Command Line (1999) http://cristal.inria.fr/~weis/info/commandline.html 13 comments
- In the Beginning Was the Command Line (1999) http://cristal.inria.fr/~weis/info/commandline.html 54 comments
- WhizzyTeX - Real-time LaTeX previewing for Emacs http://cristal.inria.fr/whizzytex/ 2 comments
- Learn _In the Beginning was the Command Line_ from Neal Stephenson :-) -- the long-attention-span answer to "why?" http://cristal.inria.fr/~weis/info/commandline.html 11 comments linux
- This is a good 15 years old, but... In the Beginning was the Command Line http://cristal.inria.fr/~weis/info/commandline.html 15 comments commandline
- Using, Understanding, and Unraveling The OCaml Language From Practice to Theory and vice versa http://cristal.inria.fr/~remy/cours/appsem/ 5 comments ocaml
- Menhir: a LR(1) parser generator for OCaml http://cristal.inria.fr/~fpottier/menhir/ 5 comments programming
- The OCaml System - Implementation. http://cristal.inria.fr/~lebotlan/docaml_html/english/ 2 comments programming
- Ocaml for Data integrity http://cristal.inria.fr/~simonet/soft/flowcaml/manual/index.html 2 comments programming
- Using, understanding, and unraveling OCaml (extensive tutorial) http://cristal.inria.fr/~remy/cours/appsem/ 13 comments reddit.com
Lambda the Ultimate
- A modern eye on ML type inference - Pottier 2005 http://cristal.inria.fr/~fpottier/publis/fpottier-appsem-2005.pdf 0 comments Type Theory
- A constraint-based approach to guarded algebraic data types http://cristal.inria.fr/~simonet/publis/index.en.html 0 comments Functional , Implementation , Type Theory
- Constraint-based type inference for guarded algebraic data types http://cristal.inria.fr/~simonet/publis/index.en.html 0 comments Functional , Implementation , Type Theory
- The essence of ML type inference http://cristal.inria.fr/attapl/ 0 comments Functional
- Flow Caml http://cristal.inria.fr/~simonet/soft/flowcaml/ 0 comments Software-Eng
- Results of 4th ICFP Programming Contest http://cristal.inria.fr/ICFP2001/prog-contest/ 2 comments functional
- ICFP PROGRAMMING CONTEST http://cristal.inria.fr/ICFP2001/prog-contest/ 3 comments functional