Lambda the Ultimate

type	title	author	last post
Story	Common Lisp: The Untold Story What are the mistakes? by yminsky	Manuel J. Simoni	2012-05-20 23:46
Forum topic	Quantitative comparison of unit testing vs. static typing? Pattern matching with option by yminsky pattern matches are worth the syntactic cost by yminsky Indeed! by yminsky How far does it go? by yminsky Academic? by yminsky A new claim by yminsky What about phantom types? by yminsky Many ML type errors would not lead to exceptions by yminsky	lmeyerov	2012-04-26 21:34
Story	Effective Scala Of workflows and monads by yminsky	Ehud Lamm	2012-02-10 17:22
Forum topic	Middle History of Logic Programming OCaml has a really fast compiler by yminsky	Hewitt	2011-06-28 02:49
Story	Ocaml 3.12 released Destructive Signatures by yminsky	neelk	2010-08-23 14:01
Forum topic	CUFP 2010	yminsky	2010-08-04 21:03
Forum topic	The Rust Language How does this differ from using phantom types? by yminsky	Noel	2010-07-27 23:17
Forum topic	Functional Programming at Jane Street	yminsky	2010-05-22 15:29
Story	A few billion lines of code later: using static analysis to find bugs in the real world inadequate tools by yminsky	Allan McInnes	2010-04-23 11:28
Forum topic	Haskell in the real world: writing a commercial program in Haskell A better reference by yminsky too much recursion by yminsky	dpmulligan	2009-10-10 01:00
Forum topic	Seeking examples of programming language knowledge has helped students, companies, etc. Jane Street by yminsky	Gary T. Leavens	2009-08-12 00:53
Forum topic	Jane Street Summer Project '09	yminsky	2009-02-02 02:29
Forum topic	Functional Programming jobs at Jane Street	yminsky	2009-01-10 04:01
Forum topic	Job board on LtU? Great! by yminsky	yminsky	2009-01-10 03:47
next page last page

---

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