Lambda the Ultimate

type	title	author	last post
Story	Asynchronous Proof Processing with Isabelle/Scala and Isabelle/jEdit Agda-mode not so bad by Dominique Devriese	neelk	2011-05-23 20:26
Forum topic	The fundamental limitations of parser combinators... and how to fix them. The example by Dominique Devriese Language features by Dominique Devriese Non-Haskell users by Dominique Devriese Name reuse, semantic actions, and performance by Dominique Devriese CFGs and parser combinators by Dominique Devriese The symbols for the operators by Dominique Devriese	Dominique Devriese	2010-12-17 13:17

---

Logs: Hack The Planet ; JavaLobby ; Daily Python-URL ; Daily WTF ; PHP everywhere ; (more)
Wikis: WikiWiki ; Erlang ; Common Lisp ; Haskell ; Squeak ; Tcl ; Program Transformation