Lambda the Ultimate

type	title	author	last post
Page	Genealogical Diagrams Link rot by Jacques Carette	Ehud Lamm	2023-09-06 18:49
Story	Compiling a Subset of APL Into a Typed Intermediate Language Link to paper? by Jacques Carette	Andris Birkmanis	2018-02-01 15:56
Story	When Is A Functional Program Not A Functional Program? That bears repeating by Jacques Carette	neelk	2015-11-20 21:56
Story	BER MetaOCaml -- an OCaml dialect for multi-stage programming If there is enough demand by Jacques Carette Active user by Jacques Carette Could it really happen? by Jacques Carette	gasche	2015-06-24 08:53
Story	Why Did M.I.T. Switch from Scheme to Python? Curry's lax monad by Jacques Carette	Leon P Smith	2013-09-12 17:06
Forum topic	SF-calculus Superb by Jacques Carette Thanks by Jacques Carette Computing over expressions by Jacques Carette Where? by Jacques Carette pass-by-expression by Jacques Carette Intension/Extension and 'shape' by Jacques Carette	Barry Jay	2013-08-30 18:42
Story	Who's online MathJax by Jacques Carette	Ehud Lamm	2013-04-02 09:09
Forum topic	A new look at multimaps Try it by Jacques Carette Meadows by Jacques Carette Relations by Jacques Carette Look at hybrid sets too by Jacques Carette	Robbert van Dalen	2012-11-29 03:28
Forum topic	Erik Meijer started a discussion on Domain Specific Languages On interpreters vs compilers by Jacques Carette	w7cook	2012-07-13 00:52
Story	ACM A.M. Turing Centenary Celebration Efficiency by Jacques Carette	Luke Gorrie	2012-06-26 15:40
Story	Dependently Typed Programming based on Automated Theorem Proving	Jacques Carette	2012-02-22 18:59
Story	Cambridge Course on "Usability of Programming Languages" Continuing studies by Jacques Carette	James Iry	2012-01-06 03:55
Story	LTL types FRP Banach and Knaster-Tarski by Jacques Carette On choosing definitions by Jacques Carette Naive programmer and Agda by Jacques Carette	Charles Stewart	2011-11-26 23:39
Forum topic	Flash and cross platform mobile web technologies Definitely by Jacques Carette ML or Haskell or ??? by Jacques Carette	JeffB	2011-11-18 20:15
Story	Extensible Programming with First-Class Cases I am working on that as well by Jacques Carette	naasking	2011-11-05 14:53
Forum topic	Can I express variable occurence ranges in logic? Cross-posted to a lot of places by Jacques Carette	j4n bur53	2011-10-19 10:10
Forum topic	Data, Codata, and Their Implications for Equality, and Serialization Good observation by Jacques Carette On that species equation by Jacques Carette codata by Jacques Carette	Douglas McClean	2011-10-14 15:45
Forum topic	machine-ported reference algorithms Not sure if anyone has... by Jacques Carette	bdenckla	2011-10-14 02:44
Forum topic	Redesigning the Mozart virtual machine Excellent idea by Jacques Carette You misunderstood by Jacques Carette Some experts to talk to by Jacques Carette	Peter Van Roy	2011-10-04 22:20
Forum topic	SECD Machine - RAP? Now that's an answer by Jacques Carette	cdiggins	2011-10-03 12:00
Forum topic	Forum Topics and Story Agreed by Jacques Carette LtU decay by Jacques Carette	Henry Luo	2011-09-24 17:53
Story	Functor is to Lens as Applicative is to Biplate: Introducing Multiplate	Jacques Carette	2011-03-17 09:27
Story	The IO Monad is 45 years old That is stretching things too far by Jacques Carette	Z-Bo	2011-01-10 10:34
Story	Directly Reflective Meta-Programming	Jacques Carette	2010-11-17 00:36
Forum topic	Articles on deforestation of functional array/vector/matrix operations in a strict language single assignment C by Jacques Carette	scottmcl	2010-08-26 14:42
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