Lambda the Ultimate

type	title	author	last post
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
Forum topic	β, η, ξ ⊢ α? Excellent point by Matt Hellige Never thought about it... by Matt Hellige	Lauri Alanko	2008-11-09 14:02
Story	College Publications Yes! by Matt Hellige	Charles Stewart	2008-11-08 00:32
Forum topic	Why do OOPLs type objects as classes? Eiffel by Matt Hellige	robmeyers	2008-10-30 22:37
Forum topic	Constructor classes Example? by Matt Hellige Fair by Matt Hellige Very significant by Matt Hellige	jdgallag	2008-10-27 04:00
Story	Generalized Algebraic Data Types and Object-Oriented Programming Come on, guys! by Matt Hellige You beat me! by Matt Hellige	Ehud Lamm	2008-10-24 22:08
Forum topic	Choice of OS of LtU readers Everyone else is doing it... by Matt Hellige	marco	2008-10-21 11:00
Forum topic	Lazy Graph Reduction and abstract machines STG: to love it or leave it by Matt Hellige STG by Matt Hellige	Sean Gillespie	2008-10-02 16:00
Forum topic	Can function pointers be "fixed" Seems to me... by Matt Hellige	disnesquick	2008-09-30 20:55
Forum topic	Programming Languages Aren’t Possibly... by Matt Hellige	BigZaphod	2008-09-30 01:51
Forum topic	Narrowing field of languages? Just a hunch... by Matt Hellige	Wendell	2008-09-27 13:59
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