Posts By: Matias Giovannini
| Date | Post | Topic |
| 10/10/2011 | De gustibus | Google's Dart announced |
| 10/10/2011 | Blub | Google's Dart announced |
| 09/10/2011 | Please don't give up on LtU | What needs to be done? |
| 08/11/2009 | The Eiffel solution seems to | Avoid a Void: eradicating null-pointer dereferencing |
| 01/14/2009 | OCaml doesn't support | What Are The Resolved Debates in General Purpose Language Design? |
| 03/14/2007 | There aren't any Animals | Implementation Inheritance |
| 01/20/2007 | Raymond Roussel | Locus Solum: From the rules of logic to the logic of rules |
| 01/16/2007 | Automatic Differentiation | Annotated POPL 2007 Program |
| 12/29/2006 | Loeb in OCaml | Programming (language) puzzles |
| 11/27/2006 | Pointers galore | Java Generics and Collections |
| 06/28/2006 | Overview Paper | R6RS Status Report |
| 06/30/2006 | That's very flattering and | R6RS Status Report |
| 06/02/2006 | Phantom Types Example | Type checking and logical errors |
| 05/02/2006 | I believe, but can't prove | What do you believe about Programming Languages (that you can't prove (yet))? |
| 05/07/2006 | Linear logic will supplant | What do you believe about Programming Languages (that you can't prove (yet))? |
| 08/22/2006 | Endomorphisms | Folding neither Left nor Right (or how to avoid overspecifying the solution to a problem) |
| 03/21/2006 | Somehow... | Gosling vs. Dynamic Languages |
| 01/08/2006 | You shouldn't... | Singleton classes really that bad? |
| 12/02/2005 | Polymorphic variants | Conjunction types |
| 12/02/2005 | Oops... | Conjunction types |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |