Posts By: claudio
| Date | Post | Topic |
| 02/12/2010 | 3NF in MDA/UML? | Why prolog is by far the best, most productive, easiest programming language |
| 07/01/2009 | (1) C is (essentially) a | Most powerful terminating semantics? |
| 07/02/2009 | Terminology | Most powerful terminating semantics? |
| 05/07/2009 | History | Right on! |
| 10/04/2008 | Clojure talk videos | Clojure talk videos |
| 10/05/2008 | More information | Clojure talk videos |
| 10/05/2008 | OK | Clojure talk videos |
| 09/24/2008 | Emily: Capability-secure version of OCaml | Security in FP |
| 03/11/2008 | More one book | [Ask LTU] How to implement concurrent languages ? |
| 10/22/2007 | Why all the buzz now? | The End of an Architectural Era (It's Time for a Complete Rewrite) |
| 12/04/2006 | Simon Peyton Jones Book | Practical Laziness |
| 08/09/2006 | Alan Turing | Oracles |
| 08/10/2006 | I forgot about the original Turing "not a machine" requirement | Oracles |
| 06/23/2006 | Not sure | What are the real benefits of FP? |
| 06/06/2006 | Dual Calculus | Relevance of Curry-Howard |
| 05/26/2006 | BlackBox Component Builder has been open sourced | BlackBox Component Builder has been open sourced |
| 02/01/2006 | Could use lists? | Lambda the Ultimate Set Comprehension |
| 02/01/2006 | I have an object in this | Lambda the Ultimate Set Comprehension |
| 10/25/2005 | ADT != OO | What do you mean by studying "programming languages"? |
| 10/17/2005 | Featherweight Java | Object Oriented Programming + Referential Transparency |
| 10/11/2005 | Computational power != expressiveness | The Church-Turing Thesis: Breaking the Myth |
| 10/04/2005 | Finite State Machine | "The Anatomy of a Loop" |
| 10/04/2005 | Maybe I misused "expressive" | "The Anatomy of a Loop" |
| 10/04/2005 | I didn´t mean eliminate comp | "The Anatomy of a Loop" |
| 10/05/2005 | Ok. Using just 2 states was a | "The Anatomy of a Loop" |
| 09/23/2005 | What means "native"? | Ruby: Language of the Programming Ãœbermensch? |
| 09/23/2005 | All languages become machine code | Ruby: Language of the Programming Ãœbermensch? |
| 09/06/2005 | Links? | Yearning for a practical scheme |
| 08/23/2005 | What about the size of the ar | Ivory Towers and Gelfand's Principle |
| 08/24/2005 | MVC | Ivory Towers and Gelfand's Principle |
| 07/04/2005 | I agree. Desktop search is ni | Organizing papers... |
| 01/25/2005 | Maybe you find this book usef | Getting Started |
| 01/21/2005 | Prolog | OOP Is Much Better in Theory Than in Practice |
| 11/23/2004 | PLaSM - functional language for computing with geometry | PLaSM - functional language for computing with geometry |
| 10/28/2004 | UML definitions | Programming for non-programmers |
| 10/15/2004 | Erlang | Distributed Functional Programming |
| 10/07/2004 | Oberon | House , hOp - the Haskell Operating System |
| 09/05/2003 | Re: Using an Abstracted Interpreter to Understand Abstract Interpretation | Using an Abstracted Interpreter to Understand Abstract Interpretation |
| 06/21/2002 | Re: Elephant 2000 | Elephant 2000 |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |