Lambda the Ultimate Weblog Topics
Last Updated 07/28/2010

Posts By: leemarks

  Date    Post    Topic  
06/11/2010The third Futamura projectionInterpreter to compiler generator?
02/28/2007operational vs. denotational semanticsBehaviour Diffing
06/17/2006Object IdentityThe OO barrier
06/01/2006I don't understandType checking and logical errors
06/01/2006Thanks!Type checking and logical errors
05/29/2006and alsoFirst Class Values, Types as values within a Programming Language
06/16/2006Compiler checked documentationFirst Class Values, Types as values within a Programming Language
03/21/2006Keeping things in perspectiveDesign Patterns as Higher-Order Datatype-Generic Programs.
03/26/2006I don't know Scala, butDesign Patterns as Higher-Order Datatype-Generic Programs.
04/15/2006NeatDesign Patterns as Higher-Order Datatype-Generic Programs.
03/07/2006isomorphism vs behavioural equivalenceWhen is one thing equal to some other thing?
03/14/2006Or just use 'sequence'Rich resource site for the programming language "K"
03/14/2006GeneralityRich resource site for the programming language "K"
01/24/2006Not really a list comprehensionWadler's Blog: Penn, PADL, POPL, and Plan-X
11/30/2005what is a conjunction type?Conjunction types
12/01/2005Polymorphic variantsConjunction types
12/01/2005OopsConjunction types
12/01/2005My confusionConjunction types
12/02/2005Perhaps union types?Conjunction types
12/02/2005Not a newbie-question IMHOConjunction types
12/02/2005CoolConjunction types
07/05/2006Access no longer open?'Information and Computation' Open Access
04/20/2005Probably true but ...Why Dependent Types Matter
03/12/2006One wayEmbedded Interpreters
02/10/2005Advanced programmingCode Generation with Python, Cog, and Nant
10/03/2004Visual BasicShoot-out: most annoying compiler error message

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