Lambda the Ultimate

type	title	author	last post
Forum topic	Are nested SQL statements monads? Curry and Database-like Monads by Gavin Mendel-Gleason	sciomako	2012-11-29 10:59
Story	Decidability of Higher Order Matching Implementations by Gavin Mendel-Gleason	neelk	2011-08-02 12:19
Story	Invertible Syntax Descriptions: Unifying Parsing and Pretty Printing Logic Programming by Gavin Mendel-Gleason	James Iry	2011-02-05 00:39
Story	Azul's Pauseless Garbage Collector Pager by Gavin Mendel-Gleason	James Iry	2011-01-03 11:36
Forum topic	Static Typing Where Possible, Dynamic Typing When Needed Logic with types by Gavin Mendel-Gleason	Isaac Gouy	2010-04-20 22:32
Story	John Hughes on Erlang and Haskell Because Types are Logic by Gavin Mendel-Gleason Rich Type Systems Mark II by Gavin Mendel-Gleason Rich Type Systems by Gavin Mendel-Gleason Type Theory can be a sort of DMP by Gavin Mendel-Gleason Types by Gavin Mendel-Gleason	James Iry	2009-12-02 10:16
Story	LNGen Fabulous by Gavin Mendel-Gleason	Paul Snively	2009-05-14 09:02
Forum topic	Does anyone know of work done on co-data-types? Hagino's thesis by Gavin Mendel-Gleason Data Level Parallelism by Gavin Mendel-Gleason	David Minor	2009-01-30 22:27
Story	Prediction for 2008 Pure Functional and Eager by Gavin Mendel-Gleason	Ehud Lamm	2008-12-29 15:56
Forum topic	Ongoing work on Supercompilation of Java code (or supercompilation in general)? including by Gavin Mendel-Gleason	sanity	2008-08-20 12:02
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
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