Lambda the Ultimate

type	title	author	last post
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
Forum topic	Ralph Griswold died Prolog for parsing by Gavin Mendel-Gleason	Boyko Bantchev	2006-10-22 23:39
Forum topic	The fundamental difference between Sets and Lists? Data structure compilation by Gavin Mendel-Gleason	Robbert van Dalen	2006-04-27 12:55
Story	The Reasoned Schemer with Oz That was the point I was trying to make by Gavin Mendel-Gleason Relational Programming by Gavin Mendel-Gleason	Chris Rathman	2006-04-06 11:44
Story	Uniform Proofs as a Foundation for Logic Programming Use cases by Gavin Mendel-Gleason Not much interest by Gavin Mendel-Gleason	Charles Stewart	2006-04-03 12:18
Story	Towards Applicative Relational Programming Higher Order (in the functional programming sense) by Gavin Mendel-Gleason	Charles Stewart	2006-03-30 15:46
Story	Interval Computations Definitely worthy by Gavin Mendel-Gleason	Ehud Lamm	2006-02-22 21:34
Story	Constraint Programming Constraint Programming and Relations by Gavin Mendel-Gleason	Andris Birkmanis	2006-01-12 13:11
Story	An interview with Chris Date equality by Gavin Mendel-Gleason The relational algebra is more baroque than logic programming by Gavin Mendel-Gleason	Chris Rathman	2005-08-12 21:17
Story	Have scripting languages peaked? What about lisp? by Gavin Mendel-Gleason	Chris Rathman	2005-08-11 14:20
Story	Programming Paradigms of the Andorra Kernel Language Guarded clauses. commit and soft cut by Gavin Mendel-Gleason	Andris Birkmanis	2005-08-03 22:55
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