Posts By: Andrei Formiga
| Date | Post | Topic |
| 09/18/2008 | More analogy... | The Transactional Memory / Garbage Collection Analogy |
| 04/14/2008 | It depends | Career paths and concerns |
| 04/05/2008 | "the world's finest imperative language" | April 1st special: The War of the Worlds |
| 12/06/2007 | Course on Coq | How to write your next POPL paper in Coq |
| 08/08/2007 | Too eager to see object orientation? | Ralph Johnson: Erlang, the next Java |
| 07/12/2007 | Links missing | Lambda Animator |
| 07/11/2007 | I say that often | HOPL-III: Statecharts in the Making |
| 04/25/2007 | Wadler's blog | Google Tech Talk: Phil Gosset discusses parametric polymorphism and girard-reynolds isomorphism |
| 04/15/2007 | Isn't this right there on the definition? | PCF and LCF |
| 04/15/2007 | Oddly circular | PCF and LCF |
| 11/05/2006 | Amazon reviews | Practical OCaml |
| 11/05/2006 | I got this impression | Practical OCaml |
| 07/08/2006 | Weak head normal form | Programming Languages and Lambda Calculi |
| 01/30/2006 | Ubuntu, Gentoo, WinXP | Choice of OS of LtU readers |
| 01/13/2006 | Scala is the way to go | Functional libraries for Java |
| 01/13/2006 | Not much right now, but... | Functional libraries for Java |
| 01/01/2006 | Scala | Auld Lang Alice |
| 12/31/2005 | Realistic Functional Programming in the Java Platform | Realistic Functional Programming in the Java Platform |
| 12/31/2005 | Re: ABCL | Realistic Functional Programming in the Java Platform |
| 01/01/2006 | Scala update | Realistic Functional Programming in the Java Platform |
| 12/29/2005 | Joel Spolsky views on CS education | Joel Spolsky views on CS education |
| 06/09/2007 | International edition | Algebra Of Programming (Bird, De Moor) |
| 10/23/2005 | Infinity and beyond! | What do you mean by studying "programming languages"? |
| 09/25/2005 | syntax, language design and "better" | Ruby: Language of the Programming Übermensch? |
| 09/15/2005 | CLR changes | Visual Basic and LINQ |
| 09/05/2005 | Unix System Programming using SML | System programming using FP |
| 08/27/2005 | Login cookie expiring | New Server |
| 07/29/2005 | More on the "generics are evil" meme | More on the "generics are evil" meme |
| 07/29/2005 | One more to say "congrats" | Happy Birthday, dear Lambda |
| 07/25/2005 | Type and Effects systems and Lucassen's Thesis | Type and Effects systems and Lucassen's Thesis |
| 07/27/2005 | thanks | Type and Effects systems and Lucassen's Thesis |
| 07/10/2005 | Dataflow variables and other CTM stuff in ocaml | CTM |
| 07/10/2005 | Transparent dataflow variables | CTM |
| 07/11/2005 | not first-class | CTM |
| 06/24/2005 | CiteULike | How To Read a Paper |
| 05/29/2005 | GUIs in Haskell | Why Dependent Types Matter |
| 05/07/2005 | Some points | subtext: Uncovering the simplicity of programming |
| 05/07/2005 | Not new | subtext: Uncovering the simplicity of programming |
| 05/08/2005 | Manipulating text with structure | subtext: Uncovering the simplicity of programming |
| 05/08/2005 | Status ? | Let's make a programming language! |
| 05/08/2005 | address ? | Let's make a programming language! |
| 04/11/2005 | What's the heat source ? | Dominus talks about HO Perl |
| 04/05/2005 | TAPL and implementation | Mechanics of designing and implementing a language |
| 04/05/2005 | vlerq | Mechanics of designing and implementing a language |
| 03/23/2005 | Region inference ? | UCPy: Reverse Engineering Python |
| 03/23/2005 | Real-time ? | UCPy: Reverse Engineering Python |
| 03/24/2005 | Reference counting | UCPy: Reverse Engineering Python |
| 03/17/2005 | The fate of reduce() in Python 3000 | The fate of reduce() in Python 3000 |
| 03/17/2005 | The functional pearls site is missing | OCaml vs. C++ for Dynamic Programming |
| 02/11/2005 | and propositional... | Stupid Question. |
| 07/14/2005 | According to Curry... | Stupid Question. |
| 02/12/2005 | Thompson ? | ACM Queue: A Conversation with Alan Kay |
| 02/07/2005 | Concurrency ? | Pi-ple rights oppressed |
| 02/06/2005 | Agreed | CTM wiki |
| 01/07/2005 | One or two ? | 2005 Bloggies |
| 11/28/2004 | me too | The IDE Divide |
| 11/26/2004 | Slashdot thread | Darcs: an open source version control system implemented in Haskell |
| 11/20/2004 | Google Scholar | Google Scholar |
| 11/18/2004 | CIL (C Intermediate Language) | CIL (C Intermediate Language) |
| 11/21/2004 | Language design is hard | Language Oriented Programming |
| 11/21/2004 | You do have a point | Language Oriented Programming |
| 11/10/2004 | I was... | Where is everyone? |
| 10/30/2004 | Now if only... | Call-by-Name, Call-by Value and the Lambda Calculus |
| 11/01/2004 | ((lambda () x)) | Scheme Language Standardization Process: R6RS Progress Report |
| 10/26/2004 | me too | GMail accounts |
| 11/18/2004 | all gone | GMail accounts |
| 10/26/2004 | ADTs | What's a definition of "type" that beginners can understand? |
| 10/01/2004 | In relation to... | J2SE 5.0 released |
| 10/01/2004 | Should have added | J2SE 5.0 released |
| 09/27/2004 | ICFP Contest Results | ICFP Contest Results |
| 09/27/2004 | Neither | ACM Queue: Schizoid Classes |
| 09/30/2004 | ML and modules | ACM Queue: Schizoid Classes |
| 09/25/2004 | Great Works in Programming Languages | Great Works in Programming Languages |
| 09/23/2004 | Compile-time ? | Metaprogramming in Heron |
| 09/26/2004 | Metaprogramming | Metaprogramming in Heron |
| 09/23/2004 | More indications | References for Beginners in PL Theory |
| 09/29/2004 | funny :) | References for Beginners in PL Theory |
| 09/20/2004 | Ok, let's play Dijkstra | Dijkstra on analogies and anthropomorphism |
| 09/21/2004 | I don't think so | Dijkstra on analogies and anthropomorphism |
| 09/17/2004 | Bottomline... | "... because common people think like so-and-so..." |
| 09/15/2004 | but why a new language ? | newLisp: A better Lisp/Scheme Fusion... |
| 09/15/2004 | A new language ? | newLisp: A better Lisp/Scheme Fusion... |
| 08/30/2004 | Arrays are functions | Multidimensional arrays |
| 07/29/2004 | Dan will take the pie | Udell at OSCON: IronPython news |
| 07/17/2004 | Is theory irrelevant ? | Why type systems are interesting |
| 07/15/2004 | Emacs + tuareg mode | OCaml Release 3.08.0 |
| 07/02/2004 | Visual Studio Express | Visual Studio Express |
| 07/02/2004 | Competition ? | Visual Studio Express |
| 06/29/2004 | Yes | Pragmatic Programmers Interview |
| 06/29/2004 | not exceptions in general... | Pragmatic Programmers Interview |
| 07/02/2004 | Missing the point | Pragmatic Programmers Interview |
| 06/24/2004 | Debugging and dynamic properties | Debugging Functional Programs |
| 06/24/2004 | avoid debugging | Debugging Functional Programs |
| 06/22/2004 | Tunes, not TUNES | Tunes create context like language |
| 06/22/2004 | C# is not interpreted | 1st International Workshop on Interpreted Languages |
| 06/23/2004 | As I said... | 1st International Workshop on Interpreted Languages |
| 06/22/2004 | abstraction = sharing ? | Abstractionless programming |
| 06/20/2004 | Very good | Welcome to the New, Improved LtU! |
| 03/03/2004 | Categories for Everybody | Categories for Everybody |
| 02/17/2004 | Re: Elements of Basic Category Theory | Elements of Basic Category Theory |
| 02/17/2004 | Re: Elements of Basic Category Theory | Elements of Basic Category Theory |
| 02/06/2004 | Re: Currying of Complex Interfaces | Currying of Complex Interfaces |
| 05/13/2003 | Re: Microsoft DirectX High Level Shading Language | Microsoft DirectX High Level Shading Language |
| 05/08/2003 | Re: The New C++: Trip Report, October 2002 | The New C++: Trip Report, October 2002 |
| 03/23/2003 | Re: Hungarian Notation | Hungarian Notation |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |