Lambda the Ultimate

type	title	author	last post
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
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
Forum topic	Why is there not a PL with a mathematical type system? Create it! by Jacques Carette But why is expression manipulation so effective? by Jacques Carette Telescopes by Jacques Carette Finally someone who recognizes the cheat! by Jacques Carette OBJ and CASL and SpecWare and ... by Jacques Carette Algebra, Geometry, Logic: yes. Analysis: no by Jacques Carette Except that by Jacques Carette Thanks by Jacques Carette But how much do we really care? by Jacques Carette	gueven	2007-04-25 14:14
Forum topic	Expect New Major Language Within Five Years Scala by Jacques Carette	Anton van Straaten	2007-04-17 01:00
Story	RZ: a tool for bringing constructive and computable mathematics closer to programming practice Repeat by Jacques Carette	neelk	2007-04-11 15:29
Forum topic	Aldor going open source Aldor-- by Jacques Carette	Jim Apple	2007-04-09 22:07
Forum topic	Functions shouldn't be lists, functions should be cast to lists Abstract Data Types by Jacques Carette Automatic promotion by Jacques Carette	cdiggins	2007-04-08 19:49
Forum topic	Dynamic Semantics Operational Semantics? by Jacques Carette	Hank Thediek	2007-04-07 22:57
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