Lambda the Ultimate

type	title	author	last post
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
Forum topic	Expressions vs Statements lvalues versus rvalues by neelk	Sebastien Pierre	2005-10-21 14:28
Forum topic	Macros/Syntax vs. AST manipulation Type-checking..? by neelk	rossjudson	2005-10-18 13:24
Forum topic	Probabilistic languages for kids? This isn't a full language, b by neelk	Ehud Lamm	2005-10-10 00:05
Forum topic	"The Anatomy of a Loop" Yes, and I think it's a lovel by neelk Here's an example from a class I'm TAing by neelk	el-vadimo	2005-10-09 19:02
Forum topic	Looking for FP Debuggers AFAIK a main problem with deb by neelk Ocaml has a time-travelling debugger... by neelk	raould	2005-10-03 19:14
Forum topic	From Perl Monks: "pissed off about functional programming" I guess I'm saying that: 1 by neelk I don't think I agree... by neelk	tmoertel	2005-10-03 13:04
Forum topic	A Java/Python hybrid? Needle won't ever by ready, b by neelk	dan_	2005-09-30 13:36
Forum topic	Haskell and creative freedom Actually, it's liberating... by neelk	Nathan Sobo	2005-09-16 00:08
Forum topic	Combining Theorem Proving and Programming Right -- I just assumed that by neelk Linear types plus Xi's DML... by neelk	carter	2005-09-09 22:32
Forum topic	Ivory Towers and Gelfand's Principle ...Ocaml does. It uses struct by neelk	Leon P Smith	2005-09-03 14: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