Posts By: gasche
| Date | Post | Topic |
| 07/17/2012 | Ensō | OO type systems and BNFs |
| 07/07/2012 | Clever, Classless or Free? | Emerging Languages Camp at Strange Loop |
| 07/12/2012 | It says that designing a | Erik Meijer started a discussion on Domain Specific Languages |
| 07/12/2012 | Static analyses should remain direct | Erik Meijer started a discussion on Domain Specific Languages |
| 06/26/2012 | The Philistines | Less is exponentially more: Rob Pike on Go and Why C++ Programmers Aren't Flocking to it. |
| 07/03/2012 | Sorting | Less is exponentially more: Rob Pike on Go and Why C++ Programmers Aren't Flocking to it. |
| 06/23/2012 | Against Genetic Algorithms | Evolved Turing neural networks - Unorganized machines and the brain |
| 06/24/2012 | Yes, I think it is the post | Evolved Turing neural networks - Unorganized machines and the brain |
| 06/23/2012 | (Too?) sophisticated | How to Make Ad Hoc Proof Automation Less Ad Hoc |
| 06/21/2012 | No sense | Null, bottom, etc.? |
| 06/21/2012 | If you have a type called | Null, bottom, etc.? |
| 06/19/2012 | Bottom as a value | Null, bottom, etc.? |
| 06/20/2012 | What are your values? | Null, bottom, etc.? |
| 06/20/2012 | Forcing is internal to lazy languages | Null, bottom, etc.? |
| 06/15/2012 | In defense of type declarations | 'FeML: a skeleton of a femto-ML with nothing but polymorphic variants and functions |
| 06/14/2012 | As soon as you can catch | Why are exceptions not described as 'purely functional'? |
| 06/17/2012 | To explain the meaning of | Why are exceptions not described as 'purely functional'? |
| 06/18/2012 | Indeed, "everything | Why are exceptions not described as 'purely functional'? |
| 06/15/2012 | ? | Why are exceptions not described as 'purely functional'? |
| 06/15/2012 | Unnecessary complication | Why are exceptions not described as 'purely functional'? |
| 07/07/2012 | Exceptions for Control Flow | Why are exceptions not described as 'purely functional'? |
| 07/07/2012 | The multi-return models I | Why are exceptions not described as 'purely functional'? |
| 07/08/2012 | Well, as soon as your main | Why are exceptions not described as 'purely functional'? |
| 07/08/2012 | But then you have | Why are exceptions not described as 'purely functional'? |
| 06/09/2012 | Unsurprising: complex types are for complex invariants | Why Do Some Programming Languages Live and Others Die? |
| 06/09/2012 | Color me unconvinced. Most | Why Do Some Programming Languages Live and Others Die? |
| 06/09/2012 | A bland article for this hot research | Why Do Some Programming Languages Live and Others Die? |
| 06/15/2012 | Live programming vs. continuous testing | Why Do Some Programming Languages Live and Others Die? |
| 06/11/2012 | In fact, backtracking with | Why Do Some Programming Languages Live and Others Die? |
| 06/13/2012 | This looks like an | Aha! Programming Language |
| 06/04/2012 | Gender example | Synth programming language concept |
| 06/06/2012 | I don't understand if I | Synth programming language concept |
| 06/03/2012 | Matthew Flatt on Racket Submodules | Matthew Flatt on Racket Submodules |
| 05/31/2012 | Polyglot | Interactive Tutorial of the Sequent Calculus |
| 06/15/2012 | The classic fish | Interactive Tutorial of the Sequent Calculus |
| 06/17/2012 | ? | Interactive Tutorial of the Sequent Calculus |
| 06/17/2012 | Thanks for the | Interactive Tutorial of the Sequent Calculus |
| 05/28/2012 | Inference, constraints and backtracking | Implementing abstract classes automatically? |
| 05/30/2012 | Type classes 101 | Implementing abstract classes automatically? |
| 05/28/2012 | Crowd Documentation: Exploring the Coverage and the Dynamics of API Discussions on Stack Overflow | Crowd Documentation: Exploring the Coverage and the Dynamics of API Discussions on Stack Overflow |
| 05/22/2012 | You don't need to do that; | Languages with 'unique' programs |
| 05/22/2012 | How intentional can you be? | Languages with 'unique' programs |
| 05/17/2012 | Unconvinced | Encoding System Fw in predicative dependent type theory |
| 05/17/2012 | I fear you will always be | Encoding System Fw in predicative dependent type theory |
| 05/17/2012 | I agree this type is | Encoding System Fw in predicative dependent type theory |
| 05/05/2012 | Subtyping with dependent types has been studied in the literatur | Subtyping and dependent types |
| 05/04/2012 | Racket | Common Lisp: The Untold Story |
| 05/11/2012 | Re. Java | Common Lisp: The Untold Story |
| 05/11/2012 | In some ways, and at some | Common Lisp: The Untold Story |
| 04/21/2012 | Slightly disappointed | Why and How People Use R |
| 04/24/2012 | Side-effecting sugar | Why and How People Use R |
| 04/24/2012 | You can't do that in OCaml | Why and How People Use R |
| 05/06/2012 | If I understand correctly, | Why and How People Use R |
| 04/26/2012 | Active research | Why and How People Use R |
| 04/26/2012 | ggplot2 + rply + reshape? | Why and How People Use R |
| 04/14/2012 | Symmetry in logic, values and control, and type safety | Symmetry in type systems |
| 04/14/2012 | I think the correct reading | Symmetry in type systems |
| 04/14/2012 | Value and environments | Symmetry in type systems |
| 04/14/2012 | Nice: relevant, a references and discussion of the previous work | Symmetry in type systems |
| 04/17/2012 | Types-as-sets a bit too naive | Symmetry in type systems |
| 04/03/2012 | Data flow and definition flow | Pythonect 0.1.0 Release |
| 04/26/2012 | A good citizen | Quantitative comparison of unit testing vs. static typing? |
| 04/26/2012 | Firefox is not really written in Javascript | Quantitative comparison of unit testing vs. static typing? |
| 04/20/2012 | Strong update | Quantitative comparison of unit testing vs. static typing? |
| 04/21/2012 | Unison | Quantitative comparison of unit testing vs. static typing? |
| 04/21/2012 | I agree there is a | Quantitative comparison of unit testing vs. static typing? |
| 03/31/2012 | The Erlang Dialyzer work? | Quantitative comparison of unit testing vs. static typing? |
| 04/08/2012 | Dynamic abstraction | Quantitative comparison of unit testing vs. static typing? |
| 04/08/2012 | Indeed, when getting the | Quantitative comparison of unit testing vs. static typing? |
| 04/11/2012 | Daring | Quantitative comparison of unit testing vs. static typing? |
| 04/12/2012 | Communication | Quantitative comparison of unit testing vs. static typing? |
| 04/12/2012 | I stand corrected. | Quantitative comparison of unit testing vs. static typing? |
| 04/12/2012 | Ocaml contracts prototype | Quantitative comparison of unit testing vs. static typing? |
| 04/02/2012 | This is a fairly unrelated | Quantitative comparison of unit testing vs. static typing? |
| 04/03/2012 | As Jules points out, I think | Quantitative comparison of unit testing vs. static typing? |
| 06/21/2012 | Straw man | Quantitative comparison of unit testing vs. static typing? |
| 04/07/2012 | Conor McBride's "active types" | Escaping the Maze of Twisty Classes |
| 04/07/2012 | Conor's vision | Escaping the Maze of Twisty Classes |
| 06/17/2012 | Type-directed inference is definitely language design | Escaping the Maze of Twisty Classes |
| 06/18/2012 | Hm | Escaping the Maze of Twisty Classes |
| 06/18/2012 | Convergence of ideas | Escaping the Maze of Twisty Classes |
| 04/15/2012 | Parallel and self-adjusting | Parsing: The Solved Problem That Isn't |
| 03/22/2012 | End-to-end formal partial certification of a complete system | Disruptive PLT Revisited |
| 03/23/2012 | For the record, I believe | Disruptive PLT Revisited |
| 03/24/2012 | Elaboration | Disruptive PLT Revisited |
| 03/23/2012 | Safety disruption | Disruptive PLT Revisited |
| 03/21/2012 | Main interpreter loop | some Mozart 2 VM code |
| 03/12/2012 | Type systems are a grateful | References about the importance of formalism in programming language design |
| 03/11/2012 | Historical point | References about the importance of formalism in programming language design |
| 03/10/2012 | An Idealized MetaML: Simpler, and More Expressive | References about the importance of formalism in programming language design |
| 03/16/2012 | Hm | References about the importance of formalism in programming language design |
| 03/17/2012 | Type systems have the burden of proof | References about the importance of formalism in programming language design |
| 03/20/2012 | View online | References about the importance of formalism in programming language design |
| 03/06/2012 | Pragmatic: menhir | Parametric Grammars |
| 03/05/2012 | Very interesting indeed. | What does focusing tell us about language design? |
| 03/06/2012 | Interesting bits and discussion | Research in Programming Languages |
| 03/10/2012 | A counterpoint by Chris Martens | Research in Programming Languages |
| 03/05/2012 | To each object its implementation, and inheritance desemphasized | Informed dissent: William Cook contra Bob Harper on OOP |
| 03/21/2012 | What is the point? | Informed dissent: William Cook contra Bob Harper on OOP |
| 03/22/2012 | Yet the connections can be, | Informed dissent: William Cook contra Bob Harper on OOP |
| 03/22/2012 | Java generics | Informed dissent: William Cook contra Bob Harper on OOP |
| 03/22/2012 | Just a remark: there is a | Informed dissent: William Cook contra Bob Harper on OOP |
| 03/22/2012 | "Intuitive" but mathematically complex smells of fragile design | Informed dissent: William Cook contra Bob Harper on OOP |
| 03/22/2012 | Hm | Informed dissent: William Cook contra Bob Harper on OOP |
| 03/23/2012 | Indeed | Informed dissent: William Cook contra Bob Harper on OOP |
| 03/05/2012 | But why would the use of | Adding Delimited and Composable Control to a Production Programming Environment |
| 03/01/2012 | Parametrization is the fundamental redundancy-hunting tool | why first-class functions |
| 03/02/2012 | I don't think point-free is | why first-class functions |
| 02/21/2012 | else if bikeshedding | Julia, a language for technical computing |
| 02/08/2012 | flatMap is the new bind | Effective Scala |
| 02/05/2012 | Why make activation | Active Variables in Common Lisp |
| 02/06/2012 | I understand your comment is | Peak Abstraction |
| 02/06/2012 | Point taken. I'd then say | Peak Abstraction |
| 02/02/2012 | But ample margins | Evolution of mainstream programming language paradigms |
| 02/03/2012 | While you're at it, you | Vellvm: Formalizing the LLVM Intermediate Representation for Verified Program Transformations |
| 01/28/2012 | Nice | STEPS 2011 Progress Report (personal computing in 20kLOC) |
| 01/02/2012 | <a href="deca#comment-68746" class="active">Related works: ATS</a> | Deca, an LtU-friendly bare metal systems programming language |
| 01/02/2012 | <a href="deca#comment-68753" class="active">I was thinking of the</a> | Deca, an LtU-friendly bare metal systems programming language |
| 01/03/2012 | <a href="deca#comment-68776" class="active">As I claimed above, ATS is</a> | Deca, an LtU-friendly bare metal systems programming language |
| 12/27/2011 | Ivory tower, blah blah blah | Cambridge Course on "Usability of Programming Languages" |
| 12/28/2011 | I frankly doubt "everybody | Cambridge Course on "Usability of Programming Languages" |
| 12/28/2011 | (As I said, I'm not sure | Cambridge Course on "Usability of Programming Languages" |
| 12/25/2011 | I regret so much of this | Interview [Video] -> Simon Peyton-Jones - Closer to Nirvana |
| 12/08/2011 | Proofs of a type system safety? | Designing a languge — what theory is a must? |
| 12/08/2011 | Subject reduction in practice | Designing a languge — what theory is a must? |
| 12/09/2011 | If you need to do a lot of | Designing a languge — what theory is a must? |
| 12/09/2011 | I believe the store hazard | Designing a languge — what theory is a must? |
| 12/10/2011 | I find it hard to believe, | Designing a languge — what theory is a must? |
| 12/15/2011 | Thank you, that's a very | Designing a languge — what theory is a must? |
| 12/10/2011 | Translation may break abstraction | Designing a languge — what theory is a must? |
| 12/08/2011 | Link typo | Elm cross-platform functional-reactive |
| 12/08/2011 | Monads could help you | 2 Misconcepts About Functional Programming (relating to context and monad) |
| 12/25/2011 | Global syntax transformation is Semantics | 2 Misconcepts About Functional Programming (relating to context and monad) |
| 12/03/2011 | Type safety : subject reduction + progress | Proofs of a type system's safety? |
| 12/04/2011 | Inhabitation is inconsistent | Proofs of a type system's safety? |
| 12/04/2011 | Against Prolog: more meat please | General purpose as a special case? |
| 12/05/2011 | Lambda the ultimate binder syntax | General purpose as a special case? |
| 12/05/2011 | Thanks, fixed. | General purpose as a special case? |
| 12/11/2011 | Brother, do you paradigm? | General purpose as a special case? |
| 11/19/2011 | Summary, interesting bits and discussion | Share: a programming environment for loosely bound cooperation |
| 11/18/2011 | We're not interactive because it's hard, not because it's bad. | REPL-schmepl? |
| 12/02/2011 | In formal terms, you want a | REPL-schmepl? |
| 11/14/2011 | Some type systems are I-modular | Is the Expression Problem Fundamental? |
| 11/15/2011 | Principal typings again | Is the Expression Problem Fundamental? |
| 11/15/2011 | Intersection types | Is the Expression Problem Fundamental? |
| 11/05/2011 | Quite bogus claim, but nice talk | extending functions vs. extending objects |
| 11/08/2011 | LLVM IR is a compiler IR | How to determine your new language is perfect? |
| 01/22/2012 | Where's the humble programmer? | Foundations of Inference |
| 10/30/2011 | [OT] and the year of publication | The Experimental Effectiveness of Mathematical Proof |
| 10/28/2011 | Static type systems enforce semantics | "We Really Don't Know How to Compute!" by Gerald Sussman |
| 10/29/2011 | Invention | "We Really Don't Know How to Compute!" by Gerald Sussman |
| 10/30/2011 | One more lengthy post | "We Really Don't Know How to Compute!" by Gerald Sussman |
| 10/31/2011 | Pimp my library | "We Really Don't Know How to Compute!" by Gerald Sussman |
| 11/01/2011 | a 5 minutes PhD thesis ? | "We Really Don't Know How to Compute!" by Gerald Sussman |
| 11/09/2011 | Effects | "We Really Don't Know How to Compute!" by Gerald Sussman |
| 11/09/2011 | But I wanted first class | "We Really Don't Know How to Compute!" by Gerald Sussman |
| 11/09/2011 | I think this was a joke. I | "We Really Don't Know How to Compute!" by Gerald Sussman |
| 10/23/2011 | Parametricity or normalization | Other free theorems |
| 10/23/2011 | Choose R first | Other free theorems |
| 10/15/2011 | PowerShell and Vistrails | Modern Shell Language |
| 10/14/2011 | "Crutches in language design", accidental complexity and feature overlap | "Crutches in language design", accidental complexity and feature overlap |
| 10/15/2011 | Thank you for the reference. | "Crutches in language design", accidental complexity and feature overlap |
| 10/18/2011 | Unconvinced | "Crutches in language design", accidental complexity and feature overlap |
| 10/18/2011 | unified tuples and records | "Crutches in language design", accidental complexity and feature overlap |
| 10/15/2011 | C-- is a cold-blooded reptile | Dennis Ritchie passed away |
| 10/10/2011 | I would disagree with that | Google's Dart announced |
| 10/11/2011 | If you have any Any | Google's Dart announced |
| 10/10/2011 | The right variance | Google's Dart announced |
| 10/11/2011 | Immutable lists should be covariant | Google's Dart announced |
| 10/11/2011 | Source and Sink | Google's Dart announced |
| 10/10/2011 | in the jungle | Google's Dart announced |
| 03/12/2012 | Rich web languages | Google's Dart announced |
| 10/11/2011 | abdmaL | Can I express variable occurence ranges in logic? |
| 10/03/2011 | Some pointers | Language/Compiler design blogs? |
| 10/03/2011 | I thought of it while | Language/Compiler design blogs? |
| 09/24/2011 | Support for yet-undefined data and unification | Redesigning the Mozart virtual machine |
| 09/24/2011 | partially known values | Redesigning the Mozart virtual machine |
| 09/24/2011 | No, I don't think it's | Redesigning the Mozart virtual machine |
| 09/25/2011 | I was looking for this one | Redesigning the Mozart virtual machine |
| 09/15/2011 | Interesting, too soon/closed to say, and slightly frightening | Google's "The Future of JavaScript" internal memo leaked |
| 09/16/2011 | "closed" versus "open" | Google's "The Future of JavaScript" internal memo leaked |
| 09/14/2011 | In defense of lists | What needs to be done? |
| 09/09/2011 | Interesting but possibly opinionated | The Trouble with Erlang |
| 09/09/2011 | Emotional context | The Trouble with Erlang |
| 09/13/2011 | General : no weaker than necessary outside the comfort zone | The Trouble with Erlang |
| 09/09/2011 | Yield : Mainstream Delimited Continuations; "yield" from different languages compared and formalized | Yield : Mainstream Delimited Continuations; "yield" from different languages compared and formalized |
| 09/09/2011 | Thanks, fixed. | Yield : Mainstream Delimited Continuations; "yield" from different languages compared and formalized |
| 09/05/2011 | Is hygiene necessary? | the gnu extension language |
| 09/02/2011 | Maybe not LtU-oriented, but definitely LtU-relevant | the gnu extension language |
| 09/03/2011 | Who are you replying to? | the gnu extension language |
| 09/04/2011 | Lambdas are not (only) about delaying evaluation | the gnu extension language |
| 08/31/2011 | The usual way is that the | State of objects |
| 09/08/2011 | Naming | Forum Topics and Story |
| 09/18/2011 | A terse interface for a rigourous discussion | Forum Topics and Story |
| 09/24/2011 | Noise in one place can be structure in another | Forum Topics and Story |
| 09/01/2011 | Notes | quite "old" books discussion |
| 08/12/2011 | Translate the explicit into the implicit | The this argument in dynamic programming languages with OO and first-class functions |
| 08/12/2011 | Bi-duality | The this argument in dynamic programming languages with OO and first-class functions |
| 08/10/2011 | But you also have new | Candle - a new script language that unifies XML technologies |
| 08/04/2011 | Slideshare is a pain | ECOOP 2011 slides |
| 07/28/2011 | See comments | Lightweight Monadic Programming in ML |
| 07/23/2011 | A melting pot of type system hotness | F*: A Verifying ML Compiler for Distributed Programming |
| 07/23/2011 | Spec can (and sometimes must) be light | Is it possible to write code that works the very first time? |
| 07/16/2011 | Disappointing | Interview with Scala's Martin Odersky |
| 07/16/2011 | Scala style checker | Interview with Scala's Martin Odersky |
| 07/20/2011 | The naming is consistent | Implementor's guide/tutorial to delimited continuations? |
| 07/14/2011 | Have we completely explored the language space? | The Last Language? |
| 07/16/2011 | Formal is forever incomplete | The Last Language? |
| 07/16/2011 | Arithmetic is a red herring; | The Last Language? |
| 07/17/2011 | Programming languages syntax is not tree-form because of binding | The Last Language? |
| 07/18/2011 | More | The Last Language? |
| 07/20/2011 | The converse | The Last Language? |
| 07/20/2011 | "build morphisms externally" | The Last Language? |
| 07/12/2011 | Monad is not the point | Monads in C++ |
| 07/14/2011 | Reformulation | Monads in C++ |
| 07/12/2011 | ATS | Knockout JS |
| 07/03/2011 | Type parameters | Of Course ML Has Monads! |
| 07/12/2011 | ST monad is a type system: safe but limited | Of Course ML Has Monads! |
| 07/12/2011 | Two questions | Of Course ML Has Monads! |
| 06/29/2011 | "System-wide" gets you only so far | Why Programming Languages? |
| 06/27/2011 | you have already posted about this event | Inconsistency Robustness 2011 at Stanford |
| 06/27/2011 | Impressive | Announcing Ozma: extending Scala with Oz concurrency |
| 06/27/2011 | Extensionality in danger? | modules are anti-modular |
| 06/16/2011 | "Constructive" argument | Catamorphisms and anamorphisms = general or primitive recursion? |
| 06/03/2011 | Very interesting indeed | Specification and Verification: The Spec# Experience |
| 05/24/2011 | Related work? | Yet another programming language with customizable syntax |
| 05/24/2011 | I have bought the book after | The Architecture of Open Source Applications |
| 05/25/2011 | In effect | The Architecture of Open Source Applications |
| 05/16/2011 | I'd like to point out that | Why is tail call optimization an issue in GC'd languages? |
| 08/01/2011 | One problem with your example | Why is tail call optimization an issue in GC'd languages? |
| 08/02/2011 | Methodology | Why is tail call optimization an issue in GC'd languages? |
| 04/26/2011 | Fun may not be Good | Iteration function in lambda calculus |
| 05/02/2011 | We could say that one is a | Iteration function in lambda calculus |
| 05/04/2011 | I don't think you need | Iteration function in lambda calculus |
| 05/05/2011 | Your message is intriguing | Iteration function in lambda calculus |
| 05/05/2011 | Sorry if this gets a bit | Iteration function in lambda calculus |
| 04/23/2011 | Reader vs. Writer Monad | Nomenclature for impure functions |
| 04/22/2011 | Clojure seen from ML | Asynchronous Proof Processing with Isabelle/Scala and Isabelle/jEdit |
| 04/16/2011 | Arxiv | Coding at the Speed of Touch |
| 04/17/2011 | Voice | Coding at the Speed of Touch |
| 07/17/2011 | A detail about "See" and "Seen" | Coding at the Speed of Touch |
| 07/23/2011 | Freedom and fuzziness | Coding at the Speed of Touch |
| 04/23/2011 | "Convergence in Language Design, ..." | Build Your Own Blocks (BYOB) |
| 04/10/2011 | Author and date | Staking Claims: A History of Programming Language Design Claims and Evidence |
| 04/13/2011 | Formalize your expectations | Staking Claims: A History of Programming Language Design Claims and Evidence |
| 04/13/2011 | Difficult, not problematic | Staking Claims: A History of Programming Language Design Claims and Evidence |
| 04/17/2011 | Formal *approximation* | Staking Claims: A History of Programming Language Design Claims and Evidence |
| 03/31/2011 | Compilers are mathematical and mechanically verifiable | Finding and Understanding Bugs in C Compilers |
| 03/31/2011 | CompCert | Finding and Understanding Bugs in C Compilers |
| 04/01/2011 | Gaining confidence in specifications | Finding and Understanding Bugs in C Compilers |
| 04/01/2011 | You don't have consistency for free, but when exhibiting a model | Finding and Understanding Bugs in C Compilers |
| 04/02/2011 | I understand, thanks for | Finding and Understanding Bugs in C Compilers |
| 03/25/2011 | Embracing the ambiguity using coherence proofs | Type-checking Modular Multiple Dispatch with Parametric Polymorphism and Multiple Inheritance |
| 03/24/2011 | I think there is a clear | Bob Harper of CMU is blogging about programming languages and introductory CS education |
| 03/24/2011 | I'm not sure what you mean | Bob Harper of CMU is blogging about programming languages and introductory CS education |
| 03/28/2011 | Avoid memory/time observation when possible | Bob Harper of CMU is blogging about programming languages and introductory CS education |
| 03/30/2011 | Yeah, that's why. | Bob Harper of CMU is blogging about programming languages and introductory CS education |
| 03/17/2011 | lens | Functor is to Lens as Applicative is to Biplate: Introducing Multiplate |
| 03/12/2011 | Infinite width or infinite depth ? | Reference request: running out of countably many variable names |
| 03/10/2011 | Syntax extension patterns | Dan Vanderboom's Archetype language |
| 03/04/2011 | Logic/Functional languages | Middle History of Logic Programming |
| 03/07/2011 | Rather than a guarantee on | Memory Models: A Case for Rethinking Parallel Languages and Hardware, CACM, August 2010 |
| 02/26/2011 | If I used C++, I would pay | InfoQ video + transcript of Rob Pike on Go |
| 02/25/2011 | Syntax only | Eero, an Objective-C Dialect |
| 02/15/2011 | already commented elsewhere | Extending Syntax from Within a Language |
| 02/16/2011 | furthermore, some macros | Extending Syntax from Within a Language |
| 02/17/2011 | That's an interesting point. | Extending Syntax from Within a Language |
| 02/28/2011 | I think Matt M's idea was | Monads vs. Actors |
| 02/23/2011 | Monads are much nicer with inference: "result type overloading" | Monads vs. Actors |
| 01/22/2011 | Binding | Points in the Pattern Matching Design Space |
| 01/23/2011 | Vague intuition | Points in the Pattern Matching Design Space |
| 01/24/2011 | Case classes and XDUCE | Points in the Pattern Matching Design Space |
| 01/25/2011 | Emulation | Points in the Pattern Matching Design Space |
| 01/25/2011 | You're doing an equivalence | Points in the Pattern Matching Design Space |
| 01/26/2011 | a last suggestion | Points in the Pattern Matching Design Space |
| 01/22/2011 | Isn't security solved in the common case ? | I've run out of programming languages to study |
| 01/21/2011 | Weak Memory Models | guy steele on how (not) to think of parallel programming |
| 01/29/2011 | slideshare is a pain | How to Program the Many Cores for Inconsistency Robustness |
| 01/13/2011 | References are values | Evaluation strategies: authoritative reference? |
| 01/15/2011 | Is Jensen's Device really about evaluation strategies ? | Evaluation strategies: authoritative reference? |
| 01/07/2011 | Immediate feedback needs to be fast | Fast Compilers |
| 01/08/2011 | Yet, I think that the | Fast Compilers |
| 01/07/2011 | Error recovery | Fast Compilers |
| 01/19/2011 | Two different goals | Fast Compilers |
| 01/19/2011 | (Even complex) types systems are compositional | Fast Compilers |
| 01/13/2011 | Semantics | Fast Compilers |
| 01/11/2011 | Why so? Andreas complained | Fast Compilers |
| 12/30/2010 | Polymorphic variants and map/fold objects | The AST Typing Problem |
| 12/24/2010 | Your comments are always | Memory, Actions and Extensible Syntax |
| 01/04/2011 | Your first example is a | Memory, Actions and Extensible Syntax |
| 12/23/2010 | I'm starting to shink that | The Semicolon Wars |
| 12/27/2010 | I don't know of any such | The Semicolon Wars |
| 12/30/2010 | You can prove programs written in Turing-complete languages | The Semicolon Wars |
| 12/20/2010 | Dynamic binding for metaprogramming ? | Prototyping a new language with Haskell |
| 12/21/2010 | If you have python/ruby | Prototyping a new language with Haskell |
| 12/24/2010 | Some words of advice | Prototyping a new language with Haskell |
| 12/18/2010 | What I don't understand is | yacc death revisited |
| 12/06/2010 | Russ Cox : Yacc is Not Dead | Yacc is dead |
| 11/21/2010 | Soundness means no incorrect programs | Clojure's Solutions to the Expression Problem |
| 11/21/2010 | Can you express all correctness properties in Coq ? | Clojure's Solutions to the Expression Problem |
| 11/23/2010 | First-order logic has an incompleteness theorem | Clojure's Solutions to the Expression Problem |
| 11/15/2010 | Weird | A Preliminary Survey on Functional Programming |
| 11/16/2010 | In context | A Preliminary Survey on Functional Programming |
| 11/23/2010 | Type theory is not FP-specific | A Preliminary Survey on Functional Programming |
| 11/11/2010 | ML effects are not hand-waved | Lambda the Ultimate seems an Overstatement (not) |
| 11/25/2010 | No need for dependent types | The Myths of Object-Orientation |
| 12/19/2010 | delay is no circularity | The Myths of Object-Orientation |
| 10/22/2010 | Erasure and Polymorphism in Pure Type Systems | Erasure and Polymorphism in Pure Type Systems |
| 10/27/2010 | My fault | Erasure and Polymorphism in Pure Type Systems |
| 10/27/2010 | Thanks for the | Erasure and Polymorphism in Pure Type Systems |
| 10/09/2010 | Functional programming and non-determinism | A functional-programming view of time |
| 09/25/2010 | Dependently-typed data structures and reusability | Omega - Language of the Future |
| 04/09/2011 | Nice | Programming with touch? |
| 09/16/2010 | Separate infix and thunking | Mildly Extended MixFix |
| 09/05/2010 | Higher-rank polymorphism and scoped type variables | Do I need a forall if type parameters are syntactically distinguishable from type constructors? |
| 08/28/2010 | Function composition vs. mutations sequencing | Sapir-Whorf 70 years on |
| 08/29/2010 | In Haskell, pretty much all | Sapir-Whorf 70 years on |
| 04/22/2011 | Gitorious | The Grafwegen Hi Compiler named Hic release 0.1 |
| 08/08/2010 | Predicate-satisfying implicit values | Type Classes as Objects and Implicits |
| 06/26/2010 | Ott - at the user interface level | Xtext: An IDE on the cheap |
| 01/05/2012 | Any effect or region system | Go's proposed panic/recover exception-like mechanism |
| 02/03/2012 | Sequences are annotated numbers | Small is Beautiful: the design of Lua |
| 05/24/2011 | A new related discussion on the Erlang mailing list | Open wiki-like code repository |
| 03/14/2011 | Comments, annotations and pragmas | What to do about comments? |
| 12/08/2010 | In OCaml | This class type |
| 10/22/2010 | Broken link | Simply Easy! (An Implementation of a Dependently Typed Lambda Calculus) |
| 01/14/2011 | 'if' with an 'end' statement, and space sensivity | Good Ideas, Through the Looking Glass |
| 01/15/2011 | if .. then .. else | Good Ideas, Through the Looking Glass |
| 04/08/2011 | Disappointed by "Towards Leakage Containment" | Multi-Return Function Call |
| 04/13/2011 | They don't improve clarity but efficiency | Multi-Return Function Call |
| 04/14/2011 | The advantage is that the | Multi-Return Function Call |
| 05/14/2012 | Maybe not mutation, but indeed object | Higher order versus Object order |
| 05/15/2012 | Roles reversed | Higher order versus Object order |
| 05/16/2012 | Tokens with good granularity | Higher order versus Object order |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |