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 |