Lambda the Ultimate

type	title	author	last post
Forum topic	Pasquale Malacaria, "Assessing Security Threats of Looping Constructs" Okay. What do I need to do? by neelk	neelk	2007-01-30 21:48
Forum topic	Intellisense for dynamic languages Hm. by neelk	tlareywi	2007-01-20 18:00
Story	Locus Solum: From the rules of logic to the logic of rules Sure... by neelk No! by neelk	Andris Birkmanis	2007-01-20 06:18
Forum topic	Scheme interpreters written in Standard ML? Here's a minimalist implementation by neelk	Chris Rathman	2007-01-17 04:34
Story	Why numbering should start at 0 Here's a positive Dijkstra quote by neelk	Luke Gorrie	2007-01-10 17:16
Forum topic	Eta-expansion of abstractions outside the lambda-calculus There are no functions in by neelk Suppose we've got an by neelk	Daniel Slaney	2007-01-09 08:58
Forum topic	Question About Computational Complexity ... by neelk What you're asking for seems by neelk	Matteo	2007-01-03 22:31
Forum topic	(Even more) theorems for free? Yes, this makes sense. It's by neelk It's a perfectly by neelk	Andris Birkmanis	2007-01-03 21:55
Forum topic	path-sensitive dataflow analysis. How? Yeah, that's right, though by neelk Hi Jonathan, Making a DFA by neelk	jonathan h.	2006-12-15 20:58
Forum topic	Exceptions You have to be careful, though... by neelk	BigZaphod	2006-12-13 18:35
Forum topic	Why type systems are interesting - part II Rejecting programs is important too by neelk	Ehud Lamm	2006-12-08 01:38
Forum topic	Request for feedback: hobbyist post on "the significance of the meta-circular interpreter." The idea of defining a by neelk	raganwald	2006-12-07 22:33
Story	Linear types for aliased resources You are too optimistic :( by neelk	Ehud Lamm	2006-12-07 16:10
Forum topic	"Folding"/FP traversal over trees If you want to control the by neelk	dbfaken	2006-12-07 14:53
Forum topic	Want to learn something new By saying "the" language by neelk	pureza	2006-11-12 19:49
Story	"Proof-Directed Debugging" Revisited This is a nice paper! by neelk	Ehud Lamm	2006-11-04 01:11
Forum topic	Closures for Java or money back call/cc is more powerful by neelk	el-vadimo	2006-09-23 19:16
Story	Concoqtion: Mixing Indexed Types and Hindley-Milner Type Inference This seems kin to Susmit by neelk	Paul Snively	2006-08-30 17:55
Forum topic	Can a dynamically typed language support type inference? If you're receiving f as an by neelk Actually... by neelk All type systems... by neelk	raganwald	2006-08-19 09:51
Forum topic	help with [Barendregt & Barendsen, 1994] This is an instance of the by neelk	Jason Dusek	2006-08-16 18:46
Forum topic	Managing missing information through Condition Propagation I found the 1977 paper a by neelk	n8allan	2006-08-03 16:31
Forum topic	First Class Values, Types as values within a Programming Language What is the effect of making by neelk	Bruce Rennie	2006-07-20 00:50
Forum topic	How do Java generics correspond to System F-(omega)? I ignored wildcards because by neelk Java's generics are loosely by neelk	Chung-chieh Shan	2006-07-12 22:39
Forum topic	What are the real benefits of FP? IMO, the system-theory by neelk	dataangel	2006-07-09 20:03
Story	'Information and Computation' Open Access I like to imagine that a fe by neelk	Frank Atanassow	2006-07-05 23: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