Lobsters
- Program = Proof http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/teaching/INF551/course.pdf 5 comments formalmethods , math , pdf , plt
- Can Idris be used to prove floating point error margins ala Fluctuat? http://www.lix.polytechnique.fr/Labo/Sylvie.Putot/Presentations/poster-aplas13.pdf 3 comments idris
- A low level performance comparison of simple operations on unboxed integer arrays between Haskell/GHC (6.12.1) and OCaml (3.12.0) (and also C) [originally on Proggit] http://www.lix.polytechnique.fr/~kaustuv/expo/incr_uarray/ 16 comments haskell
- A low level performance comparison of simple operations on unboxed integer arrays between Haskell/GHC (6.12.1) and OCaml (3.12.0) (and also C) http://www.lix.polytechnique.fr/~kaustuv/expo/incr_uarray/ 53 comments programming
- Lolli: A Linear Logic Programming Language http://www.lix.polytechnique.fr/labo/dale.miller/lolli/ 11 comments programming