Lambda the Ultimate

type	title	author	last post
Forum topic	Why type systems are interesting Repairing link by Jacques Carette	Anton van Straaten	2008-07-07 14:16
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
Forum topic	Programming (language) puzzles Modeling error? by Jacques Carette	Chung-chieh Shan	2008-05-17 14:25
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	When Is A Functional Program Not A Functional Program? That bears repeating by Jacques Carette	neelk	2008-03-09 14:31
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
Story	Closing the Stage: From Staged Code to Typed Closures Even more fun by Jacques Carette	Ehud Lamm	2007-12-28 05:21
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	LtU turns 7: The year of spam More editors can help keep the flow by Jacques Carette	Ehud Lamm	2007-08-05 19:27
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
Story	The Structure and Value of Modularity in Software Design Some notes on this paper, by Jacques Carette	neelk	2007-06-06 00:25
Forum topic	Is Integer wrapping an exceptional condition? We return the wrong answer faster than anyone else by Jacques Carette	mansu	2007-05-21 23:34
Story	Interactivity considered harmful different or restricted perception by Jacques Carette	Jacques Carette	2007-05-21 20:15
Forum topic	Can referential transparency be bad? (puzzle included) I believe that it needs symbolic computation by Jacques Carette	Andris Birkmanis	2007-05-12 00:53
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