Lambda the Ultimate

type	title	author	last post
Story	GADTs Meet Their Match: Pattern-Matching Warnings That Account for GADTs, Guards, and Laziness How does this compare to Garrigue's paper... by yminsky	naasking	2015-10-14 15:30
Forum topic	Limitations of FRP? Separated at CMU by yminsky The omission is on both sides by yminsky What about Self-Adjusting Computations (SAC)? by yminsky	Sean McDirmid	2015-08-04 08:28
Forum topic	Controlling time and space General application of SAC is doubtful? by yminsky Full dynamism by yminsky FRP -> SAC by yminsky	Sean McDirmid	2014-09-28 23:48
Story	Gilad Is Right A surprising result by yminsky Puns by yminsky	Erik Meijer	2014-03-23 13:38
Forum topic	Simple Question (I hope...): Forward declarations vs. "letrec" style or ML "and" style constructs The programmer in me . . . by yminsky	scottmcl	2012-12-02 19:19
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-06-22 02:59
Story	Common Lisp: The Untold Story What are the mistakes? by yminsky	Manuel J. Simoni	2012-05-20 23:46
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