Home » user account

Jacques Carette

typetitleauthorlast post sort icon
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
Forum topicCoconut : Haskell code assembly on the cell processor jamii2009-01-05 15:49
StoryFω^C: a symmetrically classical variant of System Fω Charles Stewart2008-12-01 14:20
Story Species: making analytic functors practical for functional programming neelk2008-05-30 04:45
Forum topicsuccinctness Curtis W2008-05-28 19:57
StoryArrows, like Monads, are Monoids Jim Apple2008-05-07 14:13
StoryDerivatives and dissections of data types Andris Birkmanis2008-04-23 00:45
Forum topicAlgebraist Network billpage2008-03-31 12:21
StoryFoundations for Structured Programming with GADTs neelk2008-03-17 21:26