Jacques Carette

typetitleauthorlast post sort icon
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
StoryFunctional Pearl: Species and Functors and Types, Oh My! Matt Hellige2010-07-05 09:38
Forum topicA lambda calculus with arbitrary set primitives Neil Toronto2010-07-01 12:56
Forum topicA Theory of Typed Hygienic Macros Jacques Carette2010-06-20 22:13
Forum topicplt vs. something else for programming in the large? raould2010-06-17 01:07
Forum topicInterpreter to compiler generator? pdf23ds2010-06-12 15:53
StoryLtU turns 7: The year of spam Ehud Lamm2010-04-29 05:51
Forum topicGames and Languages giuseppemag2010-04-27 15:26
StoryCan functional programming be liberated from the von Neumann paradigm? Charles Stewart2010-04-14 20:25
StoryTagless Staged Interpreters for Simpler Typed Languages Ehud Lamm2010-04-06 00:28