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 |