Jacques Carette

type sort icontitleauthorlast post
StoryWhen Is A Functional Program Not A Functional Program? neelk2015-11-20 21:56
StoryBER MetaOCaml -- an OCaml dialect for multi-stage programming gasche2015-06-24 08:53
StoryWhy Did M.I.T. Switch from Scheme to Python? Leon P Smith2013-09-12 17:06
Forum topicSF-calculus Barry Jay2013-08-30 18:42
StoryWho's online Ehud Lamm2013-04-02 09:09
Forum topicA new look at multimaps Robbert van Dalen2012-11-29 03:28
Forum topicErik Meijer started a discussion on Domain Specific Languages w7cook2012-07-13 00:52
StoryACM A.M. Turing Centenary Celebration Luke Gorrie2012-06-26 15:40
StoryDependently Typed Programming based on Automated Theorem Proving Jacques Carette2012-02-22 18:59
StoryCambridge Course on "Usability of Programming Languages" James Iry2012-01-06 03:55
StoryLTL types FRP Charles Stewart2011-11-26 23:39
Forum topicFlash and cross platform mobile web technologies JeffB2011-11-18 20:15
StoryExtensible Programming with First-Class Cases naasking2011-11-05 14:53
Forum topicCan I express variable occurence ranges in logic? j4n bur532011-10-19 10:10
Forum topicData, Codata, and Their Implications for Equality, and Serialization Douglas McClean2011-10-14 15:45
Forum topicmachine-ported reference algorithms bdenckla2011-10-14 02:44
Forum topicRedesigning the Mozart virtual machine Peter Van Roy2011-10-04 22:20
Forum topicSECD Machine - RAP? cdiggins2011-10-03 12:00
Forum topicForum Topics and Story Henry Luo2011-09-24 17:53
StoryFunctor is to Lens as Applicative is to Biplate: Introducing Multiplate Jacques Carette2011-03-17 09:27
StoryThe IO Monad is 45 years old Z-Bo2011-01-10 10:34
StoryDirectly Reflective Meta-Programming Jacques Carette2010-11-17 00:36
Forum topicArticles on deforestation of functional array/vector/matrix operations in a strict language scottmcl2010-08-26 14:42
StoryWhy Undergraduates Should Learn the Principles of Programming Languages Z-Bo2010-07-15 09:08
Forum topicEvocative metaphor Ehud Lamm2010-07-12 13:40