Lambda the Ultimate

type	title	author	last post
Story	Programming Languages and Lambda Calculi Correct link? by Andreas Rossberg	Noel	2006-07-11 17:23
Forum topic	What are the real benefits of FP? Elitarian by Andreas Rossberg FP shopping list by Andreas Rossberg	dataangel	2006-07-09 20:03
Story	'Information and Computation' Open Access Re by Andreas Rossberg Stop trolling by Andreas Rossberg The necessity of jargon by Andreas Rossberg	Frank Atanassow	2006-07-05 23:13
Forum topic	Rules for Developing Safety-Critical Code Yes, but... by Andreas Rossberg Tail call property dependent on context? by Andreas Rossberg	Peter J. Wasilko	2006-06-25 21:26
Forum topic	The OO barrier Original quote by Andreas Rossberg Remember goto by Andreas Rossberg	snk_kid	2006-06-22 14:07
Forum topic	Relevance of Curry-Howard Type checking is a tool by Andreas Rossberg	Klaus Ostermann	2006-06-12 13:36
Forum topic	Buried Treasure - No Fluff Just Stuff Combinatorial Explosion by Andreas Rossberg Linking vs IPC by Andreas Rossberg Well... by Andreas Rossberg Remote calls by Andreas Rossberg Almost what I meant by Andreas Rossberg Mh... by Andreas Rossberg What's repeated? by Andreas Rossberg Closures to the rescue by Andreas Rossberg Type inference and structural types by Andreas Rossberg Termination is provable by Andreas Rossberg	Isaac Gouy	2006-06-08 03:44
Forum topic	Type checking and logical errors Same problem in dynamic languages by Andreas Rossberg If you prove it... by Andreas Rossberg Soundness by Andreas Rossberg	Mike Smith	2006-06-05 21:16
Story	Proofs are Programs: 19th Century Logic and 21st Century Computing AFAIK most people have by Andreas Rossberg Informatics by Andreas Rossberg	shapr	2006-05-30 17:35
Forum topic	Ethnographic Study of Copy and Paste Programming Practices in OOPL Relict by Andreas Rossberg	Vesa Karvonen	2006-05-26 19:13
Forum topic	JavaScript 2.0: Evolving a Language for Evolving Systems Objective Caml by Andreas Rossberg	Isaac Gouy	2006-05-23 11:40
Forum topic	Parameteric Polymorphism from a C++ Perspective (good or bad?) it is not possible to by Andreas Rossberg	cdiggins	2006-05-10 20:57
Forum topic	Patterns of Integer Usage Type vs representation by Andreas Rossberg	Frank Krueger	2006-05-06 09:25
Story	When is one thing equal to some other thing? Choice of set theory does not matter by Andreas Rossberg	Ehud Lamm	2006-03-16 14:55
Forum topic	Signature Based Polymorphism, Structural Subtyping and Duck Typing Not mandatory by Andreas Rossberg Please see above by Andreas Rossberg Template meta programming vs type class meta programming by Andreas Rossberg No run-time types necessary by Andreas Rossberg Yes by Andreas Rossberg Implementation strategy by Andreas Rossberg	cdiggins	2006-03-02 16:04
Forum topic	The breaking point of language usability? Not necessarily by Andreas Rossberg	raould	2005-12-12 15:35
Forum topic	Type Nomenclature Seriously, though, it's the by Andreas Rossberg	David B. Held	2005-11-09 11:06
Story	OOPSLA 2005 Reports Rather Compiler.eval by Andreas Rossberg There are statically typed la by Andreas Rossberg Type abstraction can be reconciled with typecase by Andreas Rossberg	Ehud Lamm	2005-11-08 17:50
Forum topic	Why Lists? Trees are omnipresent by Andreas Rossberg	David B. Held	2005-11-01 21:15
Forum topic	Expressions vs Statements Syntactic abuse by Andreas Rossberg	Sebastien Pierre	2005-10-21 14:28
Forum topic	A Java/Python hybrid? What about Haskell's approach? by Andreas Rossberg	dan_	2005-09-30 13:36
Forum topic	Good languages with simple grammar Re: Exciting syntax by Andreas Rossberg Algol-style by Andreas Rossberg	Tim Sweeney	2005-09-28 08:09
Forum topic	Most Productive FP Lang? You can by Andreas Rossberg Effect systems by Andreas Rossberg	David B. Held	2005-09-26 03:14
Story	Dynamic typing in OCaml Types also add expressiveness by Andreas Rossberg	Matt Hellige	2005-09-22 23:22
Forum topic	Dynamic vs. Static Typing - A Pattern-Based Analysis Greenspun dualism by Andreas Rossberg I don't think so by Andreas Rossberg	Jim Apple	2005-09-22 14:38
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