Posts By: bluestorm
| Date | Post | Topic |
| 06/26/2010 | Ott - at the user interface level | Xtext: An IDE on the cheap |
| 06/27/2010 | This is correct, the | SF-calculus |
| 06/28/2010 | C++ development began in | Why Undergraduates Should Learn the Principles of Programming Languages |
| 06/30/2010 | Company out of PhDs | Why Undergraduates Should Learn the Principles of Programming Languages |
| 05/28/2010 | Type fixpoints also give you fold for free | Functional Pearl: Species and Functors and Types, Oh My! |
| 04/26/2010 | Monads make it too easy to transfer authority | Seeking thoughtful criticisms of functional programming and languages |
| 04/25/2010 | Pure functions and authority encapsulation | Seeking thoughtful criticisms of functional programming and languages |
| 02/03/2010 | Monoidal category | Formal treatments (or examples of) of "function concatenation"? |
| 01/16/2010 | The good thing with quantum | Quantum Lambda Calculus |
| 08/29/2009 | The results of the EDOS | Review NP-complete Library Versioning Problem |
| 07/24/2009 | higher-order kinds | (Very) Simpleminded kind question |
| 07/22/2009 | Resolved Debates in Syntax Design ? | Resolved Debates in Syntax Design ? |
| 07/23/2009 | Semantic-exposing syntax | Resolved Debates in Syntax Design ? |
| 07/24/2009 | A good compromise could be a | Resolved Debates in Syntax Design ? |
| 07/23/2009 | In my opinion, that would be | Resolved Debates in Syntax Design ? |
| 07/29/2009 | Thanks for reporting, that's | Resolved Debates in Syntax Design ? |
| 07/24/2009 | Textual representation | Resolved Debates in Syntax Design ? |
| 08/06/2009 | What I was originally | Resolved Debates in Syntax Design ? |
| 07/23/2009 | ATTAPL | Lambda Cube and programming languages |
| 06/20/2009 | Outside-visible named state ? | Peter Van Roy: Programming Paradigms for Dummies |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |