Lambda the Ultimate

type	title	author	last post
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
Forum topic	Church-Turning is False? There's nothing by neelk	Bryan Turner	2006-06-28 09:36
Forum topic	Relevance of Curry-Howard If you've got (say) full by neelk You're going to run afoul of Godel's theorem by neelk An interpreter is a virtual by neelk Hi Frank, if you start with by neelk When the type system is by neelk However, what does by neelk	Klaus Ostermann	2006-06-12 13:36
Story	Inform 7: A relational DSL for interactive fiction with natural language syntax After reading the article, I by neelk	Frank Atanassow	2006-06-12 07:49
Forum topic	emulation for Erlang style processes likewise by neelk	Rys McCusker	2006-06-11 03:01
Forum topic	JavaScript 2.0: Evolving a Language for Evolving Systems Say more about MotionTypes? by neelk	Isaac Gouy	2006-05-23 11:40
Story	Building Interpreters by Composing Monads I just looked at it -- it's by neelk	Andris Birkmanis	2006-05-22 20:37
Forum topic	The Nature of Lisp (a tutorial) re camlp4 by neelk	coffeemug	2006-05-18 23:38
Forum topic	Lambda the Ultimate Set Comprehension I made the same mistake, and by neelk Monadic logic has nothing to do with monads! by neelk That's only existence. We still need universality! by neelk No, I don't think I agree by neelk "Set theoretic intuions" by neelk A "natural number object" in by neelk None of those things are by neelk We're getting into deep water here.... by neelk Neither is a special case... by neelk	xyzzy	2006-05-17 06:05
Forum topic	Persistent functional databases Speaking as a programmer... by neelk	Robbert van Dalen	2006-04-26 07:13
Story	foldl and foldr Tne "natural" numbers in by neelk	Noel	2006-04-20 16:34
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