Posts By: lennart
| Date | Post | Topic |
| 10/16/2008 | I don't agree. I find | On the (perceived) equivalence of static and dynamically typed reflective programming languages |
| 07/04/2008 | Of course | Hardware Acceleration of Matrix Multiplication on a Xilinx FPGA |
| 07/08/2008 | In some respects hardware is | Hardware Acceleration of Matrix Multiplication on a Xilinx FPGA |
| 07/03/2008 | Knowing FP can help you get | Functional Programming in the ACM CS Curriculum |
| 12/07/2007 | Clean | A Growable Language Manifesto |
| 12/13/2007 | Why do you think that? I'm | poll: syntax |
| 12/17/2007 | I wasn't trying to start a | poll: syntax |
| 09/27/2007 | It's not that easy | FPGA CPUs |
| 09/11/2007 | Effects are associative | Question about the Monad associativity law |
| 06/05/2007 | Can you say something how | Typed callcc in a stack-based language |
| 01/05/2007 | Cycles | Can referential transparency be bad? (puzzle included) |
| 01/03/2007 | Trying Djinn anyway | (Even more) theorems for free? |
| 01/03/2007 | Used arguments | (Even more) theorems for free? |
| 01/03/2007 | Nothing | (Even more) theorems for free? |
| 01/03/2007 | Linear logic | (Even more) theorems for free? |
| 01/03/2007 | Theorem proving | (Even more) theorems for free? |
| 12/11/2006 | I'm getting curious | The Problem with "dup" and "swap" in Stack-Based Languages |
| 12/07/2006 | Dates | Date format in the forum |
| 12/03/2006 | Types | SK Calculus not Consider SeKsy? |
| 11/27/2006 | LtU | The Future of LtU |
| 08/08/2006 | In the olden days | Oracles |
| 08/08/2006 | Oracle inventor | Oracles |
| 08/21/2006 | Folding | Folding neither Left nor Right (or how to avoid overspecifying the solution to a problem) |
| 08/22/2006 | Sure | Folding neither Left nor Right (or how to avoid overspecifying the solution to a problem) |
| 08/08/2006 | O'Haskell | Object Oriented Programming + Referential Transparency |
| 07/03/2008 | Of course they are | Why type systems are interesting |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |