Posts By: giuseppemag
Date | Post | Topic |
07/06/2012 | Why languages and not systems? | Why languages and not systems? |
07/13/2012 | Ha! | Why languages and not systems? |
03/09/2012 | References about the importance of formalism in programming language design | References about the importance of formalism in programming language design |
03/09/2012 | I was born with search | References about the importance of formalism in programming language design |
03/10/2012 | Looks interesting, off to | References about the importance of formalism in programming language design |
03/10/2012 | Just a quick note | References about the importance of formalism in programming language design |
10/09/2011 | Can't wait... | F# type providers |
10/12/2011 | Such a trollish comment | F# type providers |
09/27/2011 | Games and high level languages? | FijiVM: Compile Java source to Native with Realtime GC |
08/18/2011 | New book on functional programming and games | New book on functional programming and games |
08/22/2011 | Yay! | New book on functional programming and games |
08/24/2011 | Credit where credit is due | New book on functional programming and games |
09/27/2011 | Update | New book on functional programming and games |
05/27/2011 | Advice for a young researcher | Advice for a young researcher |
05/28/2011 | Very interesting paper; it | Advice for a young researcher |
05/28/2011 | Ok, you sold me on | Advice for a young researcher |
05/29/2011 | Actually, hit by bullet -> | Advice for a young researcher |
05/29/2011 | Well, my system for defining | Advice for a young researcher |
05/28/2011 | By somewhere you mean | Advice for a young researcher |
05/28/2011 | Ok, very interesting | Advice for a young researcher |
05/28/2011 | "Declarative Style Games in | Advice for a young researcher |
05/28/2011 | Well, I understand your | Advice for a young researcher |
05/28/2011 | The first example is F# | Advice for a young researcher |
05/29/2011 | About (3), the coroutine | Advice for a young researcher |
06/11/2011 | Interesting | Advice for a young researcher |
06/13/2011 | A clarification | Advice for a young researcher |
11/29/2010 | Recursion over the structure of a type | Recursion over the structure of a type |
11/29/2010 | Not really... | Recursion over the structure of a type |
11/29/2010 | Aren't PolyP, Generic | Recursion over the structure of a type |
08/24/2010 | Reading advice on memory management | Reading advice on memory management |
08/25/2010 | Thanks... | Reading advice on memory management |
08/25/2010 | Separation logic I knew | Reading advice on memory management |
05/11/2010 | Strange function | Strange function |
05/12/2010 | Thanks for the input. I | Strange function |
05/12/2010 | That's great: could you | Strange function |
05/09/2010 | Computing complexity | Computing complexity |
05/11/2010 | Nope, just | Computing complexity |
04/13/2010 | Games and Languages | Games and Languages |
04/24/2010 | Well, mutable C# is clearly | Games and Languages |
03/08/2010 | Multiple overloads of the bind operator | Multiple overloads of the bind operator |
03/08/2010 | Fair enough, but the | Multiple overloads of the bind operator |
02/28/2010 | Advantages of Purity | Advantages of Purity |
03/03/2010 | Ok, thanks everyone for the | Advantages of Purity |
02/08/2010 | Mutable objects with monadic methods | Mutable objects with monadic methods |
02/09/2010 | Thanks. If I understand | Mutable objects with monadic methods |
LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |