Lambda the Ultimate Weblog Topics
Last Updated 09/08/2011

Posts By: Mario B.

  Date    Post    Topic  
05/16/2011Already discussed...Why is tail call optimization an issue in GC'd languages?
02/09/2011Coroutine interface handlesStrongly Typed Coroutines (minor question)
02/10/2011Coroutine death is tricky businessStrongly Typed Coroutines (minor question)
02/10/2011Expose rather than complicateStrongly Typed Coroutines (minor question)
12/15/2010Name reuse, semantic actions, and performanceThe fundamental limitations of parser combinators... and how to fix them.
12/17/2010Speaking of longjmpContinuation-Passing C: Compiling threads to events through continuations
10/20/2010Semantics?another new language, Chomsky hierarchy Type-0
10/20/2010I take exception to thatThe barrier to take-up of language innovation
09/17/2010Modularisation requires interfacesNew Dataflow Programming Language
05/08/2010*Abstract* parse tree?Guppy: trying to make parsing simple, fun, and powerful
04/13/2010Mini languages my language has?Clojure's Mini-languages
06/19/2009Declarative programmingPerlis Languages
01/23/2009Context-free syntaxWhat Are The Resolved Debates in General Purpose Language Design?
01/24/2009Python's nesting is at the lexical levelWhat Are The Resolved Debates in General Purpose Language Design?
08/15/2008Actual text-processing languagesText Processing by Functional Language?
07/18/2008LuaEasiest language to make binding for?
07/18/2008Very interestingMISC: An experimental LISP-like language
10/24/2007The simplest mechanism with Turing-equivalent power to date ...The simplest mechanism with Turing-equivalent power to date ...
12/06/2006The stack differenceThe Cat Language Kind System
12/07/2006How about a proof?The Cat Language Kind System
12/07/2006Thank youThe Cat Language Kind System
08/13/2006Programming Languages in the Markup WorldProgramming Languages in the Markup World
08/13/2006Interface simplicityProgramming Languages in the Markup World
08/14/2006No, that one is fineProgramming Languages in the Markup World
08/18/2006It's optionalProgramming Languages in the Markup World
08/14/2006Shifting the responsibilityProgramming Languages in the Markup World
08/14/2006Not quiteProgramming Languages in the Markup World
08/14/2006Human readability, as well...Programming Languages in the Markup World
07/28/2006ThisGamma formalism
06/28/2006On past discussionsLtU: Policies document
06/29/2006The relevanceLtU: Policies document
06/30/2006Ok.LtU: Policies document
06/08/2006Linear, affine, relevant?assistance with some data flow terms
05/05/2006Coroutines as thunks?What do you believe about Programming Languages (that you can't prove (yet))?
05/08/2006Done.What do you believe about Programming Languages (that you can't prove (yet))?
02/28/2006Haskell and STMNorman Ramsey: CS257 - Programming with Concurrency
02/06/2006I've looked over yourExtensible Term Language
02/07/2006On XML and syntax vs. semanticsExtensible Term Language
02/01/2006Combinator calculusU, a small model
01/10/2006Don't design a database, either!Tim Bray: Don't Invent XML Languages
01/04/2006Monad shell, OmniMark language, and a questionThe new old or The "Return" to Concurrency
01/10/2006No coroutines, thoughThe new old or The "Return" to Concurrency
10/03/2005SQL, DB3/FoxPro/Clipper, OmniMarkThe English-Likeness Monster
10/05/2005Functional programming and contractsInvariants/Contracts vs. types
10/05/2005Not quite what I had in mindInvariants/Contracts vs. types
11/09/2007"How to take a tail of a functional stream" by Oleg KiselyovTransducer Composition and CPS
05/24/2005Beware of the early optimizationAST intermediate representations
05/25/2005Metaprogramming with ASTsAST intermediate representations
04/19/2005An atypical exampleHow widespread are inhouse DSLs?
12/13/2004Tail recursion is not even a bytecode issueTim Bray: Sun & Dynamic Java
12/13/2004Re: guaranteeTim Bray: Sun & Dynamic Java
11/22/2004Re: DSL vs. LibraryLanguage Oriented Programming
10/13/2004Interesting? closure/object ideaInteresting? closure/object idea
10/07/2004Merlin OS, on top of Self PLHouse , hOp - the Haskell Operating System
08/11/2004It's all my faultPLs and SE
07/29/2004Some similar ideasMila
07/31/2004ThanksMila
08/07/2004Another attempt to introduce some practical aspectsWhy type systems are interesting
08/07/2004Groovy vs. NiceWhy type systems are interesting
08/07/2004Nice indeedWhy type systems are interesting
08/08/2004I agree with everything you'vWhy type systems are interesting
08/08/2004Great quoteWhy type systems are interesting
08/08/2004Why 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


Chris Rathman/ Chris.Rathman@tx.rr.com