Posts By: Ronny Wichers Schreur
| Date | Post | Topic |
| 06/18/2009 | Clean perhaps? | Target Backend for a Uniquely Typed Language |
| 04/23/2009 | Coq not strictly LCF | The deBrujin Criterion and the "LCF Approach". |
| 04/27/2009 | Earlier reference | The deBrujin Criterion and the "LCF Approach". |
| 10/02/2008 | Plasmeijer & Van Eekelen book for free | Lazy Graph Reduction and abstract machines |
| 12/07/2007 | Clean is LGPL | A Growable Language Manifesto |
| 12/06/2007 | Explanation | Weak normalisation theorem for typed lambda-calculus |
| 12/07/2007 | Free | Weak normalisation theorem for typed lambda-calculus |
| 09/19/2007 | Hint | Lambda Calculus: fixed point theorem help |
| 02/07/2007 | Definition of Partial Correctness | Termination Checking with Types |
| 01/24/2007 | Termination easier than complexity | Total Functional Programming |
| 01/14/2007 | PhD Thesis is available | Call by push-value |
| 01/01/2007 | Undefined pointer arithmetic | Why numbering should start at 0 |
| 12/08/2006 | Seventeen Proof Assistants | PVS goes open source |
| 10/26/2006 | Some related work | System-level Static Analysis |
| 10/23/2006 | More recent stuff on PCC and JVM | Good Ideas, Through the Looking Glass |
| 08/27/2006 | CoC is SN | unchecked exceptions are like runtime type checking? |
| 08/17/2006 | Dual | Early retirement? |
| 08/16/2006 | More recent version | help with [Barendregt & Barendsen, 1994] |
| 08/14/2006 | Confused | Lambda Calculus In Java |
| 07/28/2006 | Nihilistic Lisp | The solution to all your troubles... |
| 07/31/2006 | Exact citation | Cost of provably-correct code |
| 07/13/2006 | CLR has tail calls | Writing an interpreter, targeting a VM or writing from scratch? |
| 07/04/2006 | Book on Coalgebra | Amusing question |
| 06/21/2006 | Online version, Targeted at C | Rules for Developing Safety-Critical Code |
| 06/12/2006 | Day of the Beast | Church-Turning is False? |
| 06/14/2006 | Conor McBride on total functions | Church-Turning is False? |
| 06/28/2006 | Looping Combinator | Church-Turning is False? |
| 06/14/2006 | Reference | Church-Turning is False? |
| 06/06/2006 | Time complexity | Relevance of Curry-Howard |
| 06/01/2006 | Try it out yourself | First Class Values, Types as values within a Programming Language |
| 02/28/2006 | Tail recursion vs. tail call | Tail call elimination decorator in Python |
| 02/22/2006 | Online PostScript file | Type theory question... |
| 02/12/2006 | IT Failure Rates, with correct link | Guido: Language Design Is Not Just Solving Puzzles |
| 02/12/2006 | The state of Software Engineering | Guido: Language Design Is Not Just Solving Puzzles |
| 02/10/2006 | Easy (well, in two lines) | Is STL algorithms doing damage to the cause? |
| 02/10/2006 | -O | Is STL algorithms doing damage to the cause? |
| 01/23/2006 | Comment links in tracker | Infrastructure Announcement |
| 01/23/2006 | Name truncation regression | Infrastructure Announcement |
| 12/20/2005 | ... but can be made to work | Countering Trusting Trust through Diverse Double-Compiling |
| 12/06/2005 | Elitist recursionist | The breaking point of language usability? |
| 12/09/2005 | Thanks for the clarification | The breaking point of language usability? |
| 10/24/2005 | Optimisations may interfere | Linear types for aliased resources |
| 10/25/2005 | Uniqueness vs. linear typing | Linear types for aliased resources |
| 12/19/2005 | Humane interface on top of orthogonal interface | Bruce Tate: Technologies that may challenge Java |
| 09/13/2005 | Example | Distributive laws for the Coinductive Solution of Recursive Equations |
| 09/13/2005 | Fixed | Distributive laws for the Coinductive Solution of Recursive Equations |
| 07/25/2005 | Ambdal indeed | AdbmaL |
| 06/08/2005 | IA-32 | What will Apple's move to Intel mean for Alternative Language Communities? |
| 05/04/2005 | JML | Spec# |
| 04/21/2005 | MS MapColor 1.0 | Computer generates verifiable mathematics proof |
| 03/30/2005 | Conciseness | expressivity of "idiomatic C++" |
| 04/01/2005 | Local infix operator # (merge) | expressivity of "idiomatic C++" |
| 04/05/2005 | Approximation | expressivity of "idiomatic C++" |
| 04/02/2005 | Top-level sharing | expressivity of "idiomatic C++" |
| 04/28/2005 | 7-zip compressed? | expressivity of "idiomatic C++" |
| 09/22/2005 | More than one for each output element | expressivity of "idiomatic C++" |
| 09/26/2005 | Count multiplications | expressivity of "idiomatic C++" |
| 09/20/2005 | Smoothies | expressivity of "idiomatic C++" |
| 09/20/2005 | No duplicate composites | expressivity of "idiomatic C++" |
| 09/27/2005 | Sharing vs. reevaluation | expressivity of "idiomatic C++" |
| 01/27/2005 | ... or low bits | Langauges and Hardware... |
| 01/27/2005 | Maintenance mode | "Popular vs. Good" in Programming Languages |
| 01/21/2005 | PROC is nothing more than fun | OOP Is Much Better in Theory Than in Practice |
| 01/21/2005 | interactiveProgram :: World -> World | OOP Is Much Better in Theory Than in Practice |
| 01/25/2005 | Pointer | OOP Is Much Better in Theory Than in Practice |
| 01/08/2005 | The scorn of LtU | Ian Bicking: The challenge of metaprogramming |
| 01/08/2005 | Recursion is an unusual control structure | Ian Bicking: The challenge of metaprogramming |
| 11/23/2004 | Documentation mistake | Release of Python 2.4, release candidate 1 |
| 10/13/2004 | ICFP has tight time constraints | Succ Zeroth International Obfuscated Haskell Code Contest Results |
| 10/07/2004 | Another project | House , hOp - the Haskell Operating System |
| 09/28/2004 | Lambda calculus and flood prevention | References for Beginners in PL Theory |
| 07/13/2005 | Run-time checks | Why type systems are interesting - part III: latent types |
| 08/26/2004 | Jan Kuper's thesis | Implementing Declarative Parallel Bottom-Avoiding Choice |
| 08/03/2004 | Nowhere | Tail of Nil and Its Type |
| 08/03/2004 | Not necessarily undecidable | Tail of Nil and Its Type |
| 08/04/2004 | Same source | Tail of Nil and Its Type |
| 07/29/2004 | SAC | History: Array languages |
| 07/19/2004 | Re: Optional dynamic ("duck") typing | New CLR Language: Boo |
| 07/20/2004 | Re: Clean Object I/O library | New CLR Language: Boo |
| 07/20/2004 | Display longer user names | The site discussions forum |
| 07/23/2004 | Thanks | The site discussions forum |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |