Gavin Mendel-Gleason | Lambda the Ultimate

Gavin Mendel-Gleason

view
track

type	title	author	last post
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
Story	Bidirectional fold and scan Still not what I meant. by Gavin Mendel-Gleason fast and loose by Gavin Mendel-Gleason Dataflow variables and monads. by Gavin Mendel-Gleason	Ehud Lamm	2005-06-13 18:20
first page previous page next page last page