Lambda the Ultimate

type	title	author	last post
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
Story	Educational Pearl: Automata as Macros Hmm... by neelk	Ehud Lamm	2005-08-24 21:08
Forum topic	Neko 1.0 I don't know what yacc-likes by neelk His syntax is LL(1); it's bar by neelk	Nicolas Cannasse	2005-08-23 19:15
Forum topic	large imperative code --> functional So here's what I'd do. Note t by neelk	dbfaken	2005-08-22 18:35
Forum topic	simpler representation of operational semantics? I prefer... by neelk	shahbaz	2005-08-16 03:37
Story	An interview with Chris Date You've got a great... by neelk	Chris Rathman	2005-08-12 21:17
Forum topic	Expressivity If you're interested in actual programs... by neelk	David B. Held	2005-08-11 17:17
Forum topic	Mercury Vs Prolog Resolution uses modus ponens! by neelk	NoobProgrammer	2005-08-09 16:11
Story	Causal Nets Pearl's causal nets... by neelk	Andris Birkmanis	2005-08-08 21:37
Forum topic	On the Revival of Dynamic Languages Yeah, that would work, too. by neelk There are several possibilities... by neelk	Isaac Gouy	2005-08-03 18:41
Forum topic	The Complexity Zoo There are many examples... by neelk	Andris Birkmanis	2005-07-28 04:17
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