Lambda the Ultimate

type	title	author	last post
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
Story	A Certified Type-Preserving Compiler from Lambda Calculus to Assembly Language However by Jacques Carette The devil rules! by Jacques Carette Decidable checking by Jacques Carette Typing and all that by Jacques Carette Wow by Jacques Carette	Paul Snively	2007-03-28 14:31
Story	No Ifs, Ands, or Buts Dijkstra by Jacques Carette Go further into the paper by Jacques Carette Slow, so very slow, but progress happens by Jacques Carette	Matt Hellige	2007-03-27 12:37
Forum topic	Subject headings Titles by Jacques Carette	Jeff Nowakowski	2007-03-22 21:37
Story	An Intensional Type Theory: Motivation and Cut-Elimination Great paper by Jacques Carette	neelk	2007-03-19 11:13
Story	Concoqtion: Indexed Types Now! Concoqtion by Jacques Carette	Paul Snively	2007-03-13 15:11
Story	50 years of “Syntactic Structures” Lucky to have an original by Jacques Carette	Ehud Lamm	2007-02-13 03:31
Story	Is "post OO" just over? AOP vs Concerns by Jacques Carette	Kay Schluehr	2007-02-07 21:08
Story	The Future of LtU Natural ebb and flow, plus uncertainty by Jacques Carette	Ehud Lamm	2006-12-26 02:37
Story	Google Code Search	Jacques Carette	2006-10-07 13:56
Forum topic	ICFP proceedings / Scheme workshop and don't forget WGP by Jacques Carette	dbfaken	2006-09-27 01:34
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