Posts By: Roly Perera
Date | Post | Topic |
08/17/2009 | Sean, I think your critique | Eastwest: a new programming language and structure editor |
08/20/2009 | I think I was inviting you | Eastwest: a new programming language and structure editor |
09/08/2009 | A study of programmers' text editing | Eastwest: a new programming language and structure editor |
07/10/2009 | Hmm... | Announcing the new Haskell Prime process, and Haskell 2010 |
07/15/2009 | Pattern = abstraction | Trade-offs with abstraction |
06/10/2009 | IBAL | Bridging the informal and the formal |
06/07/2009 | Syntax all the way down | A Case for Gestures/Visualizations and Against Concrete Syntax |
06/08/2009 | Self-versioning documents | A Case for Gestures/Visualizations and Against Concrete Syntax |
06/07/2009 | Interaction as meta-programming? | A Case for Gestures/Visualizations and Against Concrete Syntax |
06/08/2009 | Synchronisation continuum | A Case for Gestures/Visualizations and Against Concrete Syntax |
06/08/2009 | Good methodology | A Case for Gestures/Visualizations and Against Concrete Syntax |
05/13/2009 | If you're still doubtful of | WolframAlpha |
04/25/2009 | The intentional tree? | Intentional tool released |
04/15/2009 | Fluid AOP | multidimensional abstraction? |
03/21/2009 | Decade, Synchrone et al | Tiered approaches to higher order programming? |
10/22/2008 | The functional counterpart of multi-method dispatch? | Multiple Dispatch in Practice |
12/09/2008 | Authoring texual DSLs in Oslo | Microsoft Oslo |
09/11/2008 | Refactoring-driven programming | Polymorphic Algebraic Data Type Reconstruction |
09/11/2008 | Semantic editing | Polymorphic Algebraic Data Type Reconstruction |
05/25/2008 | José Luiz Fiadeiro's book | Category theory in design |
04/10/2008 | I'd probably plump for "not | Can local variables assignments be considered pure functional without monads? |
04/03/2008 | Quoting from Principles of | Rewriting rules for deducing properties of functions |
03/07/2008 | Also reminiscent of | Excel as a different programming paradigm |
01/30/2008 | I love Alan Perlis' epigram | Arc is released |
02/01/2008 | I'll go with that summary. | Arc is released |
01/18/2008 | Looks interesting. Possibly | Bret Victor's Substroke |
12/07/2007 | By the way, does anyone have | Weak normalisation theorem for typed lambda-calculus |
12/07/2007 | Excellent! Thank you. | Weak normalisation theorem for typed lambda-calculus |
09/19/2007 | Memoisation as an operational constraint | Decayed Memoization |
09/19/2007 | Scalability of transactions | Uniqueness Types Instead STM |
09/20/2007 | That wasn't quite what I | Uniqueness Types Instead STM |
09/20/2007 | Thanks! (If you do come | Uniqueness Types Instead STM |
09/21/2007 | Yes that kind of approach is | Uniqueness Types Instead STM |
06/01/2007 | Perhaps Call by Push Value | Terminology: Thunking vs Quoting |
10/29/2008 | Abadi & Cardelli's object calculus | Object Oriented Programming + Referential Transparency |
10/28/2007 | The logic of monads is | Explaining monads |
06/21/2003 | Re: James Gosling on Jackpot | James Gosling on Jackpot |
LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |