Lambda the Ultimate

type	title	author	last post
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
Story	Pickler Combinators Sure thing. I usually try to by neelk	neelk	2007-05-12 18:24
Story	Generics as a Library Here's how it co-exists. So, by neelk	Matt Hellige	2007-05-09 00:11
Story	Towards efficient, typed LR parsers Cool! by neelk	neelk	2007-05-07 11:09
Forum topic	Type inference and union types You got it backwards, by neelk Take a look at Joshua by neelk	Thomas_C	2007-04-29 19:36
Story	A Logic for Parametric Polymorphism	neelk	2007-04-13 22:27
Story	RZ: a tool for bringing constructive and computable mathematics closer to programming practice Oops! by neelk	neelk	2007-04-11 15:29
Story	Putting functional database theory into practice: NixOS	neelk	2007-04-06 01:43
Story	Towards a Mechanized Metatheory of Standard ML	neelk	2007-04-04 18:22
Story	The New Twelf Wiki	neelk	2007-03-23 00:49
Story	An Intensional Type Theory: Motivation and Cut-Elimination	neelk	2007-03-19 11:13
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