Lambda the Ultimate

type	title	author	last post
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
Story	Uniform Proofs as a Foundation for Logic Programming If you find this paper by neelk	Charles Stewart	2006-04-03 12:18
Forum topic	Class hierarchies and Ontologies The "ontology" part comes by neelk Agreement by neelk A description logic is a by neelk	Neil Madden	2006-04-03 11:12
Forum topic	[ANN] Scala-2 IIUC, it's always had real by neelk	Martin Odersky	2006-03-31 10:22
Story	Towards Applicative Relational Programming Higher-order unification is undecidable by neelk	Charles Stewart	2006-03-30 15:46
Story	When is one thing equal to some other thing? Categorically, a monad is by neelk	Ehud Lamm	2006-03-16 14:55
Forum topic	Signature Based Polymorphism, Structural Subtyping and Duck Typing I think the C++ semantics is by neelk C++ template functions may by neelk	cdiggins	2006-03-02 16:04
Forum topic	Type theory question... The reason this terminology by neelk	Matt Hellige	2006-02-23 22:07
Forum topic	The fate of reduce() in Python 3000 SoI think "+/" is the same as by neelk	Andrei Formiga	2006-02-12 19:27
Forum topic	Scoping based on control flow graph I think the reason for the ad by neelk Here's what I think... by neelk	rici	2006-02-08 19:55
Story	Scala 2 How much shorter did the comp by neelk	Matt Hellige	2006-01-31 05:57
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