Posts By: leemarks
Date | Post | Topic |
06/11/2010 | The third Futamura projection | Interpreter to compiler generator? |
02/28/2007 | operational vs. denotational semantics | Behaviour Diffing |
06/17/2006 | Object Identity | The OO barrier |
06/01/2006 | I don't understand | Type checking and logical errors |
06/01/2006 | Thanks! | Type checking and logical errors |
05/29/2006 | and also | First Class Values, Types as values within a Programming Language |
06/16/2006 | Compiler checked documentation | First Class Values, Types as values within a Programming Language |
03/21/2006 | Keeping things in perspective | Design Patterns as Higher-Order Datatype-Generic Programs. |
03/26/2006 | I don't know Scala, but | Design Patterns as Higher-Order Datatype-Generic Programs. |
04/15/2006 | Neat | Design Patterns as Higher-Order Datatype-Generic Programs. |
03/07/2006 | isomorphism vs behavioural equivalence | When is one thing equal to some other thing? |
03/14/2006 | Or just use 'sequence' | Rich resource site for the programming language "K" |
03/14/2006 | Generality | Rich resource site for the programming language "K" |
01/24/2006 | Not really a list comprehension | Wadler's Blog: Penn, PADL, POPL, and Plan-X |
11/30/2005 | what is a conjunction type? | Conjunction types |
12/01/2005 | Polymorphic variants | Conjunction types |
12/01/2005 | Oops | Conjunction types |
12/01/2005 | My confusion | Conjunction types |
12/02/2005 | Perhaps union types? | Conjunction types |
12/02/2005 | Not a newbie-question IMHO | Conjunction types |
12/02/2005 | Cool | Conjunction types |
07/05/2006 | Access no longer open? | 'Information and Computation' Open Access |
04/20/2005 | Probably true but ... | Why Dependent Types Matter |
03/12/2006 | One way | Embedded Interpreters |
02/10/2005 | Advanced programming | Code Generation with Python, Cog, and Nant |
10/03/2004 | Visual Basic | Shoot-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 |