Posts By: Niels Hoogeveen
| Date | Post | Topic |
| 05/06/2007 | gbeta and virtual classes | The expression problem, Scandinavian style |
| 04/23/2007 | Automath | Why is there not a PL with a mathematical type system? |
| 02/10/2007 | Complex networks and human language | Complex networks and human language |
| 02/08/2007 | Type-Level Computation Using Narrowing in Omega | Type-Level Computation Using Narrowing in Omega |
| 08/08/2006 | Ivor, a proof engine | Ivor, a proof engine |
| 07/21/2006 | A type-correct, stack-safe, provably correct, expression compiler in Epigram | A type-correct, stack-safe, provably correct, expression compiler in Epigram |
| 07/14/2006 | A Core Calculus for Scala Type Checking | A Core Calculus for Scala Type Checking |
| 07/14/2006 | Less than | A Core Calculus for Scala Type Checking |
| 07/22/2006 | Foundations for Scala: Semantics and Proof of Virtual Types | A Core Calculus for Scala Type Checking |
| 07/22/2006 | This paper is related to | Event-Based Programming without Inversion of Control |
| 06/29/2006 | Gottfried Wilhelm Leibniz | Gottfried Wilhelm Leibniz |
| 06/20/2006 | Charles Babbage Institute | Charles Babbage Institute |
| 06/20/2006 | make a move | Charles Babbage Institute |
| 06/21/2006 | Thnx | Charles Babbage Institute |
| 06/20/2006 | A Mobility Calculus with Local and Dependent Types | A Mobility Calculus with Local and Dependent Types |
| 06/17/2006 | Some of my experiences | Why only 'minimal' languages |
| 06/08/2006 | Etiquette once more | LtU: blog not forum! |
| 06/08/2006 | Cut some slack | Why Are ALL Programming Languages So Low Level? |
| 06/08/2006 | I think that it begs the | Why Are ALL Programming Languages So Low Level? |
| 05/20/2006 | Automath | Automath |
| 05/20/2006 | Can you tell me how to | Automath |
| 05/20/2006 | Alan Turing | Alan Turing |
| 05/09/2006 | The three dimensions of proofs | The three dimensions of proofs |
| 05/07/2006 | Multidimensional Virtual Classes | Multidimensional Virtual Classes |
| 05/08/2006 | Thnx | Multidimensional Virtual Classes |
| 06/03/2006 | Please explain | Multidimensional Virtual Classes |
| 05/08/2006 | being visionary | What do you believe about Programming Languages (that you can't prove (yet))? |
| 03/27/2006 | A virtual class calculus | A virtual class calculus |
| 06/20/2006 | Yampa | How are GADTs useful in practical programming? |
| 11/23/2005 | GADT's revisited | GADT's revisited |
| 04/14/2006 | New and improved | GADT's revisited |
| 11/09/2005 | The Role of Type Equality in Meta-Programming | The Role of Type Equality in Meta-Programming |
| 11/10/2005 | Putting Curry Howard to Work | The Role of Type Equality in Meta-Programming |
| 11/11/2005 | The fuss | The Role of Type Equality in Meta-Programming |
| 10/02/2005 | Given Ltu's nature, I would l | LtU etiquette |
| 09/17/2005 | Scala | Most Productive FP Lang? |
| 09/14/2005 | Comparison | Visual Basic and LINQ |
| 09/14/2005 | As far as I can tell LINQ is | Visual Basic and LINQ |
| 09/10/2005 | Just to make the amazon entry | Twenty-First Century Compilers |
| 06/04/2006 | Suggestion | Let's make a programming language! |
| 07/13/2006 | The technical report | Omega |
| 12/14/2006 | Version 1.3 | Omega |
| 03/20/2007 | Version 1.4 | Omega |
| 09/10/2005 | Your subconcious feeling migh | Why type systems are interesting - part II |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |