Posts By: Mario B.
| Date | Post | Topic |
| 05/16/2011 | Already discussed... | Why is tail call optimization an issue in GC'd languages? |
| 02/09/2011 | Coroutine interface handles | Strongly Typed Coroutines (minor question) |
| 02/10/2011 | Coroutine death is tricky business | Strongly Typed Coroutines (minor question) |
| 02/10/2011 | Expose rather than complicate | Strongly Typed Coroutines (minor question) |
| 12/15/2010 | Name reuse, semantic actions, and performance | The fundamental limitations of parser combinators... and how to fix them. |
| 12/17/2010 | Speaking of longjmp | Continuation-Passing C: Compiling threads to events through continuations |
| 10/20/2010 | Semantics? | another new language, Chomsky hierarchy Type-0 |
| 10/20/2010 | I take exception to that | The barrier to take-up of language innovation |
| 09/17/2010 | Modularisation requires interfaces | New Dataflow Programming Language |
| 05/08/2010 | *Abstract* parse tree? | Guppy: trying to make parsing simple, fun, and powerful |
| 04/13/2010 | Mini languages my language has? | Clojure's Mini-languages |
| 06/19/2009 | Declarative programming | Perlis Languages |
| 01/23/2009 | Context-free syntax | What Are The Resolved Debates in General Purpose Language Design? |
| 01/24/2009 | Python's nesting is at the lexical level | What Are The Resolved Debates in General Purpose Language Design? |
| 08/15/2008 | Actual text-processing languages | Text Processing by Functional Language? |
| 07/18/2008 | Lua | Easiest language to make binding for? |
| 07/18/2008 | Very interesting | MISC: An experimental LISP-like language |
| 10/24/2007 | The simplest mechanism with Turing-equivalent power to date ... | The simplest mechanism with Turing-equivalent power to date ... |
| 12/06/2006 | The stack difference | The Cat Language Kind System |
| 12/07/2006 | How about a proof? | The Cat Language Kind System |
| 12/07/2006 | Thank you | The Cat Language Kind System |
| 08/13/2006 | Programming Languages in the Markup World | Programming Languages in the Markup World |
| 08/13/2006 | Interface simplicity | Programming Languages in the Markup World |
| 08/14/2006 | No, that one is fine | Programming Languages in the Markup World |
| 08/18/2006 | It's optional | Programming Languages in the Markup World |
| 08/14/2006 | Shifting the responsibility | Programming Languages in the Markup World |
| 08/14/2006 | Not quite | Programming Languages in the Markup World |
| 08/14/2006 | Human readability, as well... | Programming Languages in the Markup World |
| 07/28/2006 | This | Gamma formalism |
| 06/28/2006 | On past discussions | LtU: Policies document |
| 06/29/2006 | The relevance | LtU: Policies document |
| 06/30/2006 | Ok. | LtU: Policies document |
| 06/08/2006 | Linear, affine, relevant? | assistance with some data flow terms |
| 05/05/2006 | Coroutines as thunks? | What do you believe about Programming Languages (that you can't prove (yet))? |
| 05/08/2006 | Done. | What do you believe about Programming Languages (that you can't prove (yet))? |
| 02/28/2006 | Haskell and STM | Norman Ramsey: CS257 - Programming with Concurrency |
| 02/06/2006 | I've looked over your | Extensible Term Language |
| 02/07/2006 | On XML and syntax vs. semantics | Extensible Term Language |
| 02/01/2006 | Combinator calculus | U, a small model |
| 01/10/2006 | Don't design a database, either! | Tim Bray: Don't Invent XML Languages |
| 01/04/2006 | Monad shell, OmniMark language, and a question | The new old or The "Return" to Concurrency |
| 01/10/2006 | No coroutines, though | The new old or The "Return" to Concurrency |
| 10/03/2005 | SQL, DB3/FoxPro/Clipper, OmniMark | The English-Likeness Monster |
| 10/05/2005 | Functional programming and contracts | Invariants/Contracts vs. types |
| 10/05/2005 | Not quite what I had in mind | Invariants/Contracts vs. types |
| 11/09/2007 | "How to take a tail of a functional stream" by Oleg Kiselyov | Transducer Composition and CPS |
| 05/24/2005 | Beware of the early optimization | AST intermediate representations |
| 05/25/2005 | Metaprogramming with ASTs | AST intermediate representations |
| 04/19/2005 | An atypical example | How widespread are inhouse DSLs? |
| 12/13/2004 | Tail recursion is not even a bytecode issue | Tim Bray: Sun & Dynamic Java |
| 12/13/2004 | Re: guarantee | Tim Bray: Sun & Dynamic Java |
| 11/22/2004 | Re: DSL vs. Library | Language Oriented Programming |
| 10/13/2004 | Interesting? closure/object idea | Interesting? closure/object idea |
| 10/07/2004 | Merlin OS, on top of Self PL | House , hOp - the Haskell Operating System |
| 08/11/2004 | It's all my fault | PLs and SE |
| 07/29/2004 | Some similar ideas | Mila |
| 07/31/2004 | Thanks | Mila |
| 08/07/2004 | Another attempt to introduce some practical aspects | Why type systems are interesting |
| 08/07/2004 | Groovy vs. Nice | Why type systems are interesting |
| 08/07/2004 | Nice indeed | Why type systems are interesting |
| 08/08/2004 | I agree with everything you'v | Why type systems are interesting |
| 08/08/2004 | Great quote | Why type systems are interesting |
| 08/08/2004 | Why not? | 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 |