Lambda the Ultimate

type	title	author	last post
Story	Validity Invariants and Effects	neelk	2007-08-15 21:48
Story	Generational Real-time Garbage Collection By real time, I mean HARD real time by neelk	neelk	2007-08-15 19:53
Story	Morphing: Safely Shaping a Class in the Image of Others	neelk	2007-08-15 19:25
Story	Relationally-Parametric Polymorphic Contracts	neelk	2007-08-10 15:34
Story	Resources, Concurrency and Local Reasoning It doesn't become by neelk	neelk	2007-08-10 08:32
Story	Guaranteed Optimization	neelk	2007-08-09 23:24
Story	Cloning-Based Context-Sensitive Pointer Alias Analysis Using Binary Decision Diagrams	neelk	2007-08-09 13:48
Story	Realization of natural language interfaces using lazy functional programming	neelk	2007-08-06 09:43
Story	Lambda: The Semantics Tool Yes. by neelk	Ehud Lamm	2007-08-01 03:29
Story	ICFP contest in progress!	neelk	2007-07-22 20:20
Story	Haskell web store Smart != knowledgeable... by neelk	Anton van Straaten	2007-07-09 18:58
Forum topic	Question regarding relationship of propositional logic to category theory I don't understand what your by neelk	Nathan Sobo	2007-07-06 22:24
Forum topic	Standing on each others' feet As a compiler writer, I use by neelk A solid suite of by neelk	Barak A. Pearlmutter	2007-07-02 23:41
Forum topic	The feasability of Haskell in Scheme There's no technical by neelk	cjh	2007-06-30 02:01
Forum topic	PLs and large scale development Careful... by neelk Hindley-Milner type by neelk	bieberbrueder	2007-06-27 22:09
Forum topic	Language Support for Fast and Reliable Message-based Communication The Singularity guys are by neelk	Isaac Gouy	2007-06-27 20:10
Forum topic	Distributed Objects vs. Messaging You need to ask... by neelk	raould	2007-06-23 12:01
Story	Application-specific foreign-interface generation If I understand by neelk	neelk	2007-06-22 08:59
Story	A Functional Description of TeX's Formula Layout	neelk	2007-06-16 22:21
Story	Festschrift for John C Reynolds's 70th Birthday To understand it, I expect by neelk	Ehud Lamm	2007-06-15 11:11
Story	The PLT Scheme weblog	neelk	2007-06-15 10:56
Story	The Structure and Value of Modularity in Software Design	neelk	2007-06-06 00:25
Story	Type-sensitive control-flow analysis	neelk	2007-06-01 06:44
Forum topic	Total Functional Programming The original paper by Moggi... by neelk	Greg Buchholz	2007-05-27 20:18
Story	Lisp is sin Specs and programs are different by neelk	Ehud Lamm	2007-05-19 19:51
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