Lambda the Ultimate

type	title	author	last post
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
Forum topic	Joel Spolsky views on CS education I would disagree very strongly by neelk Pointers are hard! by neelk Yes by neelk	Andrei Formiga	2006-01-20 20:55
Story	The essence of Dataflow Programming by Tarmo Uustalu and Varmo Vene I don't know... by neelk For a concrete example using by neelk	shapr	2006-01-12 16:51
Forum topic	Getting started in language design -- reading material? Don't forget Prolog! by neelk Three suggestions: by neelk	dataangel	2005-12-02 11:53
Forum topic	Dependent types: literature, implementations and limitations ? Elaborating on Derek's comments... by neelk Dependent types == first-order logic by neelk	David Teller	2005-11-24 11:55
Story	What good is Strong Normalization in Programming Languages? As Andris notes, we still wan by neelk	shapr	2005-11-18 18:06
Forum topic	Invariants/Contracts vs. types For every classical theorem P by neelk Contracts vs. Types... by neelk LF vs CoC by neelk	dbfaken	2005-11-08 22:31
Story	OOPSLA 2005 Reports You can code this particular example with dependent types... by neelk I guess... by neelk You're absolutely correct tha by neelk No, Rice's theorem isn't relevant by neelk	Ehud Lamm	2005-11-08 17:50
Forum topic	Implementing Higher Order Messages I always thought... by neelk	ade_oshineye	2005-11-07 19:30
Forum topic	Curry/Howard and Disjunction Think of a proof term (ie, a by neelk	Daniel Slaney	2005-11-02 16:48
Story	Just What is it that Makes Martin-Lof's Type Theory so Different, so Appealing? ML type theory is a dependent by neelk Thanks for the correction. by neelk Pure Type Systems are a gener by neelk I think there are advantages... by neelk If you take first order logic by neelk	Ehud Lamm	2005-11-02 01: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