Lambda the Ultimate

type	title	author	last post
Forum topic	Is null needed? Coming from CL by Gavin Mendel-Gleason	BigZaphod	2008-08-09 00:52
Forum topic	Dependent Types, Generic Programming and Overloading. Coq gets typeclasses by Gavin Mendel-Gleason	Serguey Zefirov	2008-05-23 00:35
Forum topic	future history of logic programming Trees by Gavin Mendel-Gleason	el-vadimo	2008-05-08 11:59
Forum topic	Languages best suited for scientific computing? Sun's latest entry by Gavin Mendel-Gleason	JustinTrellis	2008-04-24 18:59
Forum topic	Rewriting rules for deducing properties of functions Proof by Gavin Mendel-Gleason	cdiggins	2008-04-07 13:25
Forum topic	Relational rather than hierarchical OO packaging? Or not use files at all by Gavin Mendel-Gleason	raould	2008-03-26 22:03
Forum topic	Role of Types in Evaluation Strategy Co-contamination by Gavin Mendel-Gleason Sorry for the Jargon by Gavin Mendel-Gleason Co-inductive types by Gavin Mendel-Gleason	cdiggins	2008-03-22 12:39
Story	Applied Metamodelling: A Foundation for Language Driven Development I'm pretty sure you could by Gavin Mendel-Gleason Just a neat trick by Gavin Mendel-Gleason Reader Macros by Gavin Mendel-Gleason	cdiggins	2008-03-20 21:35
Forum topic	Confused Deputies in Programming Languages Strong Specification by Gavin Mendel-Gleason Struggling with multiple levels of detail by Gavin Mendel-Gleason	naasking	2008-03-18 02:47
Forum topic	New to FP Proof Assistant by Gavin Mendel-Gleason	Barun Mishra	2008-03-12 14:11
Story	Uniqueness Typing Simplified Curious about uniqueness and monads by Gavin Mendel-Gleason	naasking	2008-03-05 14:34
Forum topic	exceptions again An Onerous Total Language by Gavin Mendel-Gleason	raould	2008-02-28 18:08
Forum topic	Lanugages with built-in rules/tests? Interesting! by Gavin Mendel-Gleason Quick example in Coq by Gavin Mendel-Gleason	raould	2008-02-11 17:01
Forum topic	Cyclic Proofs for First-Order Logic with Inductive Definitions	Gavin Mendel-Gleason	2008-01-28 20:51
Forum topic	Type-safe printf using delimited continuations, in Coq Excellent, A double wammy! by Gavin Mendel-Gleason	Matthieu Sozeau	2008-01-24 14:36
Forum topic	Co-Logic Programming Why not now? by Gavin Mendel-Gleason	Gavin Mendel-Gleason	2007-10-27 07:31
Forum topic	Total Functional Programming Nothing's wrong with Coq (excepting for its popularity...) by Gavin Mendel-Gleason	Greg Buchholz	2007-05-27 20:18
Forum topic	Type inference and union types Not sure, but I suspect that isn't strictly true by Gavin Mendel-Gleason	Thomas_C	2007-04-29 19:36
Forum topic	Putting functional database theory into practice: NixOS Functional Database by Gavin Mendel-Gleason Oops by Gavin Mendel-Gleason	Gavin Mendel-Gleason	2007-04-05 10:51
Story	The New Twelf Wiki Rundown by Gavin Mendel-Gleason	neelk	2007-03-23 00:49
Forum topic	Automata-Based Programming Lack of Physicality by Gavin Mendel-Gleason	Hank Thediek	2007-02-22 17:13
Forum topic	path-sensitive dataflow analysis. How? Propagation of information and Theorem Proving by Gavin Mendel-Gleason	jonathan h.	2006-12-15 20:58
Story	Mechanized Metatheory Model-Checking Soundness by Gavin Mendel-Gleason Formalisation by Gavin Mendel-Gleason	Jim Apple	2006-12-11 21:44
Forum topic	Peyton-Jones and Harris discuss STM (1h video) Wonderful subject material by Gavin Mendel-Gleason	peter steiner	2006-11-24 16:17
Story	A Very Modal Model of a Modern, Major, General Type System Quantifiers and Dependent Types by Gavin Mendel-Gleason	Ehud Lamm	2006-11-08 20: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