Lambda the Ultimate

type	title	author	last post
Forum topic	Claiming Infinity Thanks Derek by Jacques Carette Mind-blowing by Jacques Carette	Julian Rohrhuber	2010-02-03 12:53
Story	Why API Design Matters Some relevant research by Jacques Carette I agree by Jacques Carette Much older by Jacques Carette Basic software engineering? by Jacques Carette	Leon P Smith	2010-01-16 12:20
Story	Pattern Calculus Shape theory by Jacques Carette A review by Jacques Carette	Jacques Carette	2009-12-17 02:14
Forum topic	Programming (language) puzzles Modeling error? by Jacques Carette	Chung-chieh Shan	2009-10-02 17:42
Story	ADD 50 TO COBOL GIVING COBOL Oh, the memories! by Jacques Carette	James Iry	2009-05-02 10:14
Story	Closing the Stage: From Staged Code to Typed Closures Even more fun by Jacques Carette	Ehud Lamm	2009-03-30 23:29
Story	Calculemus 2005 Calculemus 2009 by Jacques Carette Type 'Expression' is not a "type"! by Jacques Carette On Axiom by Jacques Carette Calculemus 2006 by Jacques Carette CAS and type theory by Jacques Carette Programming Language aspects of CASes by Jacques Carette	Mark Evans	2009-01-07 18:19
Forum topic	Coconut : Haskell code assembly on the cell processor Previous mentions by Jacques Carette	jamii	2009-01-05 15:49
Story	Fω^C: a symmetrically classical variant of System Fω Significance? by Jacques Carette	Charles Stewart	2008-12-01 14:20
Story	Species: making analytic functors practical for functional programming And now rejected by Jacques Carette Some answers by Jacques Carette The role of Set in species by Jacques Carette Imprecision, again by Jacques Carette email? by Jacques Carette Thanks for the feedback by Jacques Carette This is *submitted* by Jacques Carette	neelk	2008-05-30 04:45
Forum topic	succinctness APL by Jacques Carette Succinctness by Jacques Carette	Curtis W	2008-05-28 19:57
Story	Arrows, like Monads, are Monoids Extremely cool paper by Jacques Carette	Jim Apple	2008-05-07 14:13
Story	Derivatives and dissections of data types Finally here by Jacques Carette Weyl and Ore Algebras by Jacques Carette heartily agreed by Jacques Carette	Andris Birkmanis	2008-04-23 00:45
Forum topic	Algebraist Network Yes and no by Jacques Carette	billpage	2008-03-31 12:21
Story	Foundations for Structured Programming with GADTs Comments on comments by Jacques Carette And a fine talk too by Jacques Carette	neelk	2008-03-17 21:26
Story	CFP: Programming Languages for Mechanized Mathematics Workshop PLMMS 2008 by Jacques Carette Deadline update by Jacques Carette Done by Jacques Carette Full CFP by Jacques Carette How do I make a 'teaser' seperate from the body? by Jacques Carette	Jacques Carette	2008-03-05 16:28
Story	The Design and Implementation of Typed Scheme Related to something we used by Jacques Carette	Ehud Lamm	2008-02-08 03:56
Forum topic	PL research & grad schools? Yes, contact them directly by Jacques Carette	dataangel	2007-11-20 22:47
Forum topic	Decayed Memoization Memory allocation in Maple by Jacques Carette Maple has it by Jacques Carette	SamK	2007-09-21 02:09
Forum topic	Declarative Assembler Thanks by Jacques Carette	Michael Stone	2007-08-23 19:19
Forum topic	Dynamic interactivity in Mathematica 6 PL features of mma by Jacques Carette The marketing makes it looks amazing by Jacques Carette	Sean McDirmid	2007-08-15 23:51
Story	Guaranteed Optimization Most everything is a ``theorem prover'' by Jacques Carette	neelk	2007-08-09 23:24
Story	A Topos Foundation for Theories of Physics Please continue by Jacques Carette	Matt Hellige	2007-07-27 11:42
Story	From abstract interpretation to small-step typing Most of these should work by Jacques Carette Non-determinism is not involved by Jacques Carette Not a random question by Jacques Carette Evaluation is abstract interpretation too by Jacques Carette	Chung-chieh Shan	2007-07-25 02:34
Story	AutoBayes -- A DSL For Bayesian Networks Main author has moved by Jacques Carette	Noel	2007-06-20 20:25
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