Lambda the Ultimate

type	title	author	last post
Forum topic	Twitter and Scala GIL by Matt Hellige	snedunuri	2009-04-08 19:30
Forum topic	Influence of cognitive models on programming language design I would like the notation to by Matt Hellige	Srikumar Subramanian	2009-03-26 21:04
Story	Help John Baez and Mike Stay! None at all! by Matt Hellige Maybe I framed it poorly? by Matt Hellige	Matt Hellige	2009-02-27 19:25
Story	Denotational design with type class morphisms	Matt Hellige	2009-02-25 20:28
Forum topic	Open Recursion Following the OO thread... by Matt Hellige	Leon P Smith	2009-02-15 16:53
Story	PL Grand Challenges Rhetoric... by Matt Hellige Ha. by Matt Hellige	Ehud Lamm	2009-02-10 16:09
Story	Project Euler Not just Clojure by Matt Hellige	Chris Rathman	2009-02-07 15:19
Forum topic	Ruling out nonsensical data type definitions Also... by Matt Hellige Not a total stranger... by Matt Hellige If it's a poll... by Matt Hellige	Douglas McClean	2009-02-03 22:54
Forum topic	Does anyone know of work done on co-data-types? Seconded by Matt Hellige Delayed reply... by Matt Hellige A few things... by Matt Hellige	David Minor	2009-01-30 22:27
Forum topic	Explaining monads I'm sorry... by Matt Hellige Of course! by Matt Hellige Of course by Matt Hellige Perfect by Matt Hellige Hmmm by Matt Hellige	Ehud Lamm	2009-01-30 11:43
Story	2008 In Review - What Happened with Programming Languages? Well done (in both senses) by Matt Hellige	James Iry	2009-01-28 12:15
Forum topic	Detailed discussion forum and/or IRC channel? Not to mention by Matt Hellige	strog	2009-01-28 05:29
Forum topic	Specifying semantics and type rules Standard ML by Matt Hellige	shap	2009-01-23 13:25
Forum topic	Macro systems Good news by Matt Hellige Aside by Matt Hellige	cdiggins	2009-01-22 17:50
Forum topic	Nested functions - how many nesting levels are really needed? Good point! by Matt Hellige Too restrictive by Matt Hellige	strog	2009-01-22 12:00
Forum topic	Lambda Calculus Notation Agreed by Matt Hellige More concrete by Matt Hellige It's not a term by Matt Hellige	Peter Michaux	2009-01-21 22:36
Forum topic	Wadler, Findler: Well-typed programs can't be blamed Actually... by Matt Hellige	smitty1e	2009-01-07 19:13
Forum topic	Reasonig about combinators (a lambda-calculus puzzle on composing compositions) Incidentally by Matt Hellige A bit of light... by Matt Hellige	namin	2009-01-06 07:29
Forum topic	Learning Pragmatics of Implementing a "Modern" Type Systems Nag by Matt Hellige	scottmcl	2009-01-02 22:51
Story	Prediction for 2008 Good ones by Matt Hellige	Ehud Lamm	2008-12-29 15:56
Story	Microsoft Oslo Ha! by Matt Hellige	Ehud Lamm	2008-12-09 21:04
Forum topic	Subtyping + overloading Editing by Matt Hellige Good point! by Matt Hellige Coercions too... by Matt Hellige Getting OT... by Matt Hellige Or with a flag... by Matt Hellige	Alex Rubinsteyn	2008-11-24 20:24
Forum topic	Extensible tuples? Seconded by Matt Hellige	Alex Rubinsteyn	2008-11-17 18:04
Forum topic	Q: Modularizing SQL? Depends by Matt Hellige Higher-order XQuery by Matt Hellige	sciomako	2008-11-15 13:40
Forum topic	Web application shootout? D. All of the above by Matt Hellige Agreed by Matt Hellige	Adam Chlipala	2008-11-15 13:21
first page previous page 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