Posts By: Pal-Kristian Engstad
| Date | Post | Topic |
| 11/05/2009 | Hilarious | Causal Commutative Arrows and Their Optimization |
| 08/04/2009 | Today | A Functional I/O System (or Fun for Freshman Kids) |
| 06/15/2009 | TLA | GRS vs LTRS |
| 05/07/2009 | Awesome! | Right on! |
| 04/10/2009 | Quite the opposite | Why are objects so unintuitive? |
| 04/13/2009 | It is due to concurrency | Why are objects so unintuitive? |
| 04/07/2009 | Higher Abstraction | Advantages of pointfree? |
| 02/03/2009 | Incorrect | Tagged Arithmetic Optimization |
| 01/27/2009 | Optimization | Detailed discussion forum and/or IRC channel? |
| 01/09/2009 | I'm afraid your reference | Fundamental Flaws in Current Programming Language Type Systems |
| 01/10/2009 | Of course | Fundamental Flaws in Current Programming Language Type Systems |
| 01/12/2009 | Optimization Tools | Fundamental Flaws in Current Programming Language Type Systems |
| 01/12/2009 | Type != Representation | Fundamental Flaws in Current Programming Language Type Systems |
| 01/12/2009 | Codec | Fundamental Flaws in Current Programming Language Type Systems |
| 10/16/2008 | the point? | On the (perceived) equivalence of static and dynamically typed reflective programming languages |
| 10/17/2008 | I hope you get my point. | On the (perceived) equivalence of static and dynamically typed reflective programming languages |
| 10/18/2008 | Back to the discussion | On the (perceived) equivalence of static and dynamically typed reflective programming languages |
| 09/24/2008 | How does this work compare to BSGP? | haskell for gpu |
| 09/15/2008 | Strange | Publishing negative results: single-assignment Lisp |
| 09/17/2008 | Sorry... | Publishing negative results: single-assignment Lisp |
| 09/09/2008 | In SRL2008-03 | Sound and Complete Type Inference in BitC |
| 08/07/2008 | Syntax Overload | Lightweight Monadic Regions |
| 06/22/2008 | Errata for A Correspondence Between .... | Pure imperative programming |
| 08/07/2008 | BitC syntax | Is null needed? |
| 10/01/2007 | That's very inaccurate. | FPGA CPUs |
| 08/23/2007 | Especially on SPUs | Declarative Assembler |
| 08/23/2007 | Loop-Scheduling | Declarative Assembler |
| 08/02/2007 | My understanding of Monads | Monad Description For Imperative Programmer |
| 07/30/2007 | Confirmed | Testing first year programming students |
| 06/08/2007 | It's not C++, it's the failure of functional languages | HOPL III: Evolving a language in and for the real world: C++ 1991-2006 |
| 06/08/2007 | Not done yet | HOPL III: Evolving a language in and for the real world: C++ 1991-2006 |
| 06/08/2007 | That is not an ignorant | HOPL III: Evolving a language in and for the real world: C++ 1991-2006 |
| 06/08/2007 | Cyclone | HOPL III: Evolving a language in and for the real world: C++ 1991-2006 |
| 06/11/2007 | Typing has nothing to do with incremental updates | Steps Toward The Reinvention of Programming |
| 06/11/2007 | Incremental Updates: Hard but very Valuable | Steps Toward The Reinvention of Programming |
| 06/09/2007 | Any working URL? | Why people don't use functional programming? |
| 12/06/2008 | That's just wrong... | The Next Mainstream Programming Languages |
| 01/02/2010 | Don't Scoff | The Next Mainstream Programming Languages |
| 06/26/2008 | Even math has it wrong | Let's make a programming language! |
| 06/26/2008 | Left to right is the norm in math | Let's make a programming language! |
| 07/25/2008 | Duff's Device | Shoot-out: most annoying compiler error message |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |