Last Updated 07/17/2012

Posts By: Jacques Carette

Date | Post | Topic |

07/07/2012 | On interpreters vs compilers | Erik Meijer started a discussion on Domain Specific Languages |

06/26/2012 | Efficiency | ACM A.M. Turing Centenary Celebration |

12/22/2011 | Dependently Typed Programming based on Automated Theorem Proving | Dependently Typed Programming based on Automated Theorem Proving |

12/20/2011 | Continuing studies | Cambridge Course on "Usability of Programming Languages" |

11/15/2011 | ML or Haskell or ??? | Flash and cross platform mobile web technologies |

11/18/2011 | Definitely | Flash and cross platform mobile web technologies |

11/15/2011 | Naive programmer and Agda | LTL types FRP |

11/16/2011 | On choosing definitions | LTL types FRP |

11/18/2011 | Banach and Knaster-Tarski | LTL types FRP |

11/05/2011 | I am working on that as well | Extensible Programming with First-Class Cases |

10/14/2011 | Not sure if anyone has... | machine-ported reference algorithms |

10/10/2011 | Cross-posted to a lot of places | Can I express variable occurence ranges in logic? |

10/08/2011 | codata | Data, Codata, and Their Implications for Equality, and Serialization |

10/09/2011 | On that species equation | Data, Codata, and Their Implications for Equality, and Serialization |

10/11/2011 | Good observation | Data, Codata, and Their Implications for Equality, and Serialization |

10/02/2011 | Now that's an answer | SECD Machine - RAP? |

09/24/2011 | Some experts to talk to | Redesigning the Mozart virtual machine |

09/24/2011 | Excellent idea | Redesigning the Mozart virtual machine |

09/24/2011 | You misunderstood | Redesigning the Mozart virtual machine |

09/18/2011 | LtU decay | Forum Topics and Story |

09/22/2011 | Agreed | Forum Topics and Story |

03/16/2011 | Functor is to Lens as Applicative is to Biplate: Introducing Multiplate | Functor is to Lens as Applicative is to Biplate: Introducing Multiplate |

12/30/2010 | That is stretching things too far | The IO Monad is 45 years old |

11/13/2010 | Directly Reflective Meta-Programming | Directly Reflective Meta-Programming |

08/26/2010 | single assignment C | Articles on deforestation of functional array/vector/matrix operations in a strict language |

06/30/2010 | Semantics can be partial | Evocative metaphor |

06/30/2010 | Intension/Extension and 'shape' | SF-calculus |

06/30/2010 | pass-by-expression | SF-calculus |

06/30/2010 | Where? | SF-calculus |

06/30/2010 | Thanks | SF-calculus |

06/30/2010 | Superb | SF-calculus |

06/30/2010 | Computing over expressions | SF-calculus |

06/30/2010 | Not encoding | A lambda calculus with arbitrary set primitives |

07/01/2010 | Lazy | A lambda calculus with arbitrary set primitives |

06/24/2010 | Loosely translated indeed | Why Undergraduates Should Learn the Principles of Programming Languages |

06/20/2010 | A Theory of Typed Hygienic Macros | A Theory of Typed Hygienic Macros |

06/12/2010 | Finally tagless | Interpreter to compiler generator? |

05/28/2010 | On Species | Functional Pearl: Species and Functors and Types, Oh My! |

05/29/2010 | Agree | Functional Pearl: Species and Functors and Types, Oh My! |

07/02/2010 | species combinators and basic species | Functional Pearl: Species and Functors and Types, Oh My! |

07/04/2010 | Small clarification | Functional Pearl: Species and Functors and Types, Oh My! |

07/05/2010 | I'll get back on this later | Functional Pearl: Species and Functors and Types, Oh My! |

04/22/2010 | Journal: Empirical Software Engineering ? | Games and Languages |

04/01/2010 | Extremely cool | Can functional programming be liberated from the von Neumann paradigm? |

02/28/2010 | Another take on this | Extending the Scope of Syntactic Abstraction |

02/28/2010 | I agree | Extending the Scope of Syntactic Abstraction |

03/03/2010 | Agreed, but | Extending the Scope of Syntactic Abstraction |

03/04/2010 | Syntactic abstraction | Extending the Scope of Syntactic Abstraction |

03/04/2010 | Good point | Extending the Scope of Syntactic Abstraction |

03/05/2010 | Delta expansion | Extending the Scope of Syntactic Abstraction |

02/28/2010 | Arity-polymorphism | Unifying map and mapM through subtyping? |

06/15/2010 | Leibniz' dream | plt vs. something else for programming in the large? |

12/16/2009 | Basic software engineering? | Why API Design Matters |

12/17/2009 | Much older | Why API Design Matters |

12/17/2009 | I agree | Why API Design Matters |

12/18/2009 | Some relevant research | Why API Design Matters |

12/18/2009 | Mind-blowing | Claiming Infinity |

12/18/2009 | Thanks Derek | Claiming Infinity |

11/28/2009 | Pattern Calculus | Pattern Calculus |

11/28/2009 | A review | Pattern Calculus |

11/30/2009 | Shape theory | Pattern Calculus |

12/30/2010 | Curry's lax monad | Why Did M.I.T. Switch from Scheme to Python? |

04/13/2009 | Oh, the memories! | ADD 50 TO COBOL GIVING COBOL |

01/05/2009 | Previous mentions | Coconut : Haskell code assembly on the cell processor |

10/22/2008 | Significance? | Fω^C: a symmetrically classical variant of System Fω |

04/23/2008 | This is *submitted* | Species: making analytic functors practical for functional programming |

05/27/2008 | And now rejected | Species: making analytic functors practical for functional programming |

04/24/2008 | Thanks for the feedback | Species: making analytic functors practical for functional programming |

04/28/2008 | email? | Species: making analytic functors practical for functional programming |

04/28/2008 | Imprecision, again | Species: making analytic functors practical for functional programming |

05/24/2008 | The role of Set in species | Species: making analytic functors practical for functional programming |

05/27/2008 | Some answers | Species: making analytic functors practical for functional programming |

03/27/2008 | Yes and no | Algebraist Network |

02/25/2008 | And a fine talk too | Foundations for Structured Programming with GADTs |

02/27/2008 | Comments on comments | Foundations for Structured Programming with GADTs |

02/20/2008 | That bears repeating | When Is A Functional Program Not A Functional Program? |

02/17/2008 | Succinctness | succinctness |

02/18/2008 | APL | succinctness |

01/31/2008 | Related to something we used | The Design and Implementation of Typed Scheme |

12/18/2007 | Even more fun | Closing the Stage: From Staged Code to Typed Closures |

11/20/2007 | Yes, contact them directly | PL research & grad schools? |

09/19/2007 | Maple has it | Decayed Memoization |

09/20/2007 | Memory allocation in Maple | Decayed Memoization |

04/04/2009 | Check the Journal version | Tagless Staged Interpreters for Simpler Typed Languages |

04/05/2009 | Required polymorphism | Tagless Staged Interpreters for Simpler Typed Languages |

02/01/2010 | 2 different (related) papers | Tagless Staged Interpreters for Simpler Typed Languages |

08/23/2007 | Thanks | Declarative Assembler |

08/09/2007 | Most everything is a ``theorem prover'' | Guaranteed Optimization |

07/30/2007 | More editors can help keep the flow | LtU turns 7: The year of spam |

05/02/2007 | We return the wrong answer faster than anyone else | Is Integer wrapping an exceptional condition? |

05/03/2007 | The marketing makes it looks amazing | Dynamic interactivity in Mathematica 6 |

05/05/2007 | PL features of mma | Dynamic interactivity in Mathematica 6 |

05/01/2007 | Main author has moved | AutoBayes -- A DSL For Bayesian Networks |

04/22/2007 | Evaluation is abstract interpretation too | From abstract interpretation to small-step typing |

04/23/2007 | Not a random question | From abstract interpretation to small-step typing |

04/24/2007 | Non-determinism is not involved | From abstract interpretation to small-step typing |

04/24/2007 | Most of these should work | From abstract interpretation to small-step typing |

04/21/2007 | But how much do we really care? | Why is there not a PL with a mathematical type system? |

04/22/2007 | Thanks | Why is there not a PL with a mathematical type system? |

04/24/2007 | Telescopes | Why is there not a PL with a mathematical type system? |

04/22/2007 | Except that | Why is there not a PL with a mathematical type system? |

04/23/2007 | OBJ and CASL and SpecWare and ... | Why is there not a PL with a mathematical type system? |

04/22/2007 | Algebra, Geometry, Logic: yes. Analysis: no | Why is there not a PL with a mathematical type system? |

04/23/2007 | Finally someone who recognizes the cheat! | Why is there not a PL with a mathematical type system? |

04/24/2007 | But why is expression manipulation so effective? | Why is there not a PL with a mathematical type system? |

04/25/2007 | Create it! | Why is there not a PL with a mathematical type system? |

06/06/2007 | Some notes on this paper, | The Structure and Value of Modularity in Software Design |

04/11/2007 | Repeat | RZ: a tool for bringing constructive and computable mathematics closer to programming practice |

04/09/2007 | Aldor-- | Aldor going open source |

04/02/2007 | Interactivity considered harmful | Interactivity considered harmful |

04/04/2007 | different or restricted perception | Interactivity considered harmful |

03/29/2007 | Scala | Expect New Major Language Within Five Years |

03/25/2007 | Automatic promotion | Functions shouldn't be lists, functions should be cast to lists |

03/25/2007 | Abstract Data Types | Functions shouldn't be lists, functions should be cast to lists |

03/24/2007 | Slow, so very slow, but progress happens | No Ifs, Ands, or Buts |

03/24/2007 | Go further into the paper | No Ifs, Ands, or Buts |

03/24/2007 | Dijkstra | No Ifs, Ands, or Buts |

03/22/2007 | Wow | A Certified Type-Preserving Compiler from Lambda Calculus to Assembly Language |

03/25/2007 | Typing and all that | A Certified Type-Preserving Compiler from Lambda Calculus to Assembly Language |

03/25/2007 | Decidable checking | A Certified Type-Preserving Compiler from Lambda Calculus to Assembly Language |

03/25/2007 | The devil rules! | A Certified Type-Preserving Compiler from Lambda Calculus to Assembly Language |

03/28/2007 | However | A Certified Type-Preserving Compiler from Lambda Calculus to Assembly Language |

03/26/2007 | Please continue | A Topos Foundation for Theories of Physics |

03/17/2007 | Great paper | An Intensional Type Theory: Motivation and Cut-Elimination |

03/17/2007 | Titles | Subject headings |

03/12/2007 | CFP: Programming Languages for Mechanized Mathematics Workshop | CFP: Programming Languages for Mechanized Mathematics Workshop |

03/12/2007 | How do I make a 'teaser' seperate from the body? | CFP: Programming Languages for Mechanized Mathematics Workshop |

03/12/2007 | Done | CFP: Programming Languages for Mechanized Mathematics Workshop |

03/12/2007 | Full CFP | CFP: Programming Languages for Mechanized Mathematics Workshop |

04/25/2007 | Deadline update | CFP: Programming Languages for Mechanized Mathematics Workshop |

03/05/2008 | PLMMS 2008 | CFP: Programming Languages for Mechanized Mathematics Workshop |

03/12/2007 | Concoqtion | Concoqtion: Indexed Types Now! |

02/12/2007 | Lucky to have an original | 50 years of “Syntactic Structures” |

01/05/2007 | I believe that it needs symbolic computation | Can referential transparency be bad? (puzzle included) |

01/04/2007 | heartily agreed | Derivatives and dissections of data types |

01/05/2007 | Weyl and Ore Algebras | Derivatives and dissections of data types |

04/23/2008 | Finally here | Derivatives and dissections of data types |

12/21/2006 | Focusing on the "wrong" things | The Role of Composition in Computer Programming |

12/22/2006 | Wish I could | The Role of Composition in Computer Programming |

12/06/2006 | Modeling error? | Programming (language) puzzles |

11/28/2006 | Natural ebb and flow, plus uncertainty | The Future of LtU |

10/05/2006 | Google Code Search | Google Code Search |

10/04/2006 | Extremely cool paper | Arrows, like Monads, are Monoids |

09/27/2006 | and don't forget WGP | ICFP proceedings / Scheme workshop |

09/25/2006 | AOP vs Concerns | Is "post OO" just over? |

09/03/2006 | Topology in Programming Language Semantics | Topology in Programming Language Semantics |

08/29/2006 | Operational Semantics? | Dynamic Semantics |

08/23/2006 | Shorter Java | Closures for Java or money back |

05/10/2006 | Very different | MathLang |

04/04/2006 | A month behind... | Native delimited continuations in (byte-code) OCaml |

02/28/2006 | Species | McBride Derivative paper |

12/24/2005 | What about at the graduate level? | The undergraduate language course: what to do? |

12/26/2005 | The students seem to be able to handle it | The undergraduate language course: what to do? |

10/30/2005 | Make it partial computation | The Type-System-Feature-Creep Death Spiral |

10/29/2005 | The IDE is the language | Bruce Tate: Technologies that may challenge Java |

10/13/2005 | New GUI paradigm | New GUI paradigm |

10/13/2005 | Monads in Ocaml | Zipper-based file server/OS |

06/07/2006 | Finally here - pa_monad | Zipper-based file server/OS |

09/13/2005 | Fix link please | Distributive laws for the Coinductive Solution of Recursive Equations |

09/09/2005 | Combining Theorem Proving and XXX | Combining Theorem Proving and Programming |

08/30/2005 | We are trying it | Learning to Program with Alice (not Mozart/Oz ML) |

06/28/2005 | Definite description | "dynamic" generative programming? |

07/25/2006 | Follow-ups to TypeCase paper | TypeCase: A Design Pattern for Type-Indexed Functions |

06/16/2005 | Discrete Math for CS | Basic(er) Simple(r) Type Theory(?) |

06/16/2005 | Notation | Basic(er) Simple(r) Type Theory(?) |

06/16/2005 | You were successful | Basic(er) Simple(r) Type Theory(?) |

05/27/2005 | Combinatorial Structures | Context Free: Grammars as Graphics |

05/27/2005 | Andre Joyal... | Differentiating Data Structures |

04/28/2005 | Seen that before | Virtual Machine and Runtime Framework |

04/15/2005 | In Maple and at Maplesoft | How widespread are inhouse DSLs? |

02/10/2005 | But when you do get it | Code Generation with Python, Cog, and Nant |

02/11/2005 | but when a language is sick... | Code Generation with Python, Cog, and Nant |

02/12/2005 | The pseudo-doctor is in session | Code Generation with Python, Cog, and Nant |

02/13/2005 | General versus specific | Code Generation with Python, Cog, and Nant |

01/12/2005 | Incompleteness in semantics and parallel-or | Incompleteness in semantics and parallel-or |

01/14/2005 | Aha! | Incompleteness in semantics and parallel-or |

12/05/2004 | Hmmm | Definition of Type |

11/17/2004 | Programming Language aspects of CASes | Calculemus 2005 |

06/08/2006 | On Axiom | Calculemus 2005 |

11/24/2004 | CAS and type theory | Calculemus 2005 |

06/08/2006 | Type 'Expression' is not a "type"! | Calculemus 2005 |

06/08/2006 | Calculemus 2006 | Calculemus 2005 |

01/07/2009 | Calculemus 2009 | Calculemus 2005 |

10/27/2004 | McMaster University | Grad School [Master's Programs] |

08/21/2004 | And Maple too | History: Array languages |

02/16/2005 | Maple/Mathematica | History: Array languages |

11/26/2005 | Repairing link | Why type systems are interesting |

LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |