Jacques Carette

typetitleauthorlast post sort icon
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
Forum topicWhy type systems are interesting Anton van Straaten2010-03-08 19:47
StoryExtending the Scope of Syntactic Abstraction Manuel J. Simoni2010-03-05 04:14
Forum topicUnifying map and mapM through subtyping? Douglas McClean2010-02-28 14:57
StoryThe Role of Composition in Computer Programming James Hague2010-02-19 01:25
Forum topicClaiming Infinity Julian Rohrhuber2010-02-03 12:53
StoryWhy API Design Matters Leon P Smith2010-01-16 12:20
StoryPattern Calculus Jacques Carette2009-12-17 02:14
Forum topicProgramming (language) puzzles Chung-chieh Shan2009-10-02 17:42
StoryADD 50 TO COBOL GIVING COBOL James Iry2009-05-02 10:14
StoryClosing the Stage: From Staged Code to Typed Closures Ehud Lamm2009-03-30 23:29
StoryCalculemus 2005 Mark Evans2009-01-07 18:19