Lambda the Ultimate Weblog Topics
Last Updated 07/17/2012

Posts By: Andrei Formiga

  Date    Post    Topic  
09/18/2008More analogy...The Transactional Memory / Garbage Collection Analogy
04/14/2008It dependsCareer paths and concerns
04/05/2008"the world's finest imperative language"April 1st special: The War of the Worlds
12/06/2007Course on CoqHow to write your next POPL paper in Coq
08/08/2007Too eager to see object orientation?Ralph Johnson: Erlang, the next Java
07/12/2007Links missingLambda Animator
07/11/2007I say that oftenHOPL-III: Statecharts in the Making
04/25/2007Wadler's blogGoogle Tech Talk: Phil Gosset discusses parametric polymorphism and girard-reynolds isomorphism
04/15/2007Isn't this right there on the definition?PCF and LCF
04/15/2007Oddly circularPCF and LCF
11/05/2006Amazon reviewsPractical OCaml
11/05/2006I got this impressionPractical OCaml
07/08/2006Weak head normal formProgramming Languages and Lambda Calculi
01/30/2006Ubuntu, Gentoo, WinXPChoice of OS of LtU readers
01/13/2006Scala is the way to goFunctional libraries for Java
01/13/2006Not much right now, but...Functional libraries for Java
01/01/2006ScalaAuld Lang Alice
12/31/2005Realistic Functional Programming in the Java PlatformRealistic Functional Programming in the Java Platform
12/31/2005Re: ABCLRealistic Functional Programming in the Java Platform
01/01/2006Scala updateRealistic Functional Programming in the Java Platform
12/29/2005Joel Spolsky views on CS educationJoel Spolsky views on CS education
06/09/2007International editionAlgebra Of Programming (Bird, De Moor)
10/23/2005Infinity and beyond!What do you mean by studying "programming languages"?
09/25/2005syntax, language design and "better"Ruby: Language of the Programming √úbermensch?
09/15/2005CLR changesVisual Basic and LINQ
09/05/2005Unix System Programming using SMLSystem programming using FP
08/27/2005Login cookie expiringNew Server
07/29/2005More on the "generics are evil" memeMore on the "generics are evil" meme
07/29/2005One more to say "congrats"Happy Birthday, dear Lambda
07/25/2005Type and Effects systems and Lucassen's ThesisType and Effects systems and Lucassen's Thesis
07/27/2005thanksType and Effects systems and Lucassen's Thesis
07/10/2005Dataflow variables and other CTM stuff in ocamlCTM
07/10/2005Transparent dataflow variablesCTM
07/11/2005not first-classCTM
06/24/2005CiteULikeHow To Read a Paper
05/29/2005GUIs in HaskellWhy Dependent Types Matter
05/07/2005Some pointssubtext: Uncovering the simplicity of programming
05/07/2005Not newsubtext: Uncovering the simplicity of programming
05/08/2005Manipulating text with structuresubtext: Uncovering the simplicity of programming
05/08/2005Status ?Let's make a programming language!
05/08/2005address ?Let's make a programming language!
04/11/2005What's the heat source ?Dominus talks about HO Perl
04/05/2005TAPL and implementationMechanics of designing and implementing a language
04/05/2005vlerqMechanics of designing and implementing a language
03/23/2005Region inference ?UCPy: Reverse Engineering Python
03/23/2005Real-time ?UCPy: Reverse Engineering Python
03/24/2005Reference countingUCPy: Reverse Engineering Python
03/17/2005The fate of reduce() in Python 3000The fate of reduce() in Python 3000
03/17/2005The functional pearls site is missingOCaml vs. C++ for Dynamic Programming
02/11/2005and propositional...Stupid Question.
07/14/2005According to Curry...Stupid Question.
02/12/2005Thompson ?ACM Queue: A Conversation with Alan Kay
02/07/2005Concurrency ?Pi-ple rights oppressed
02/06/2005AgreedCTM wiki
01/07/2005One or two ?2005 Bloggies
11/28/2004me tooThe IDE Divide
11/26/2004Slashdot threadDarcs: an open source version control system implemented in Haskell
11/20/2004Google ScholarGoogle Scholar
11/18/2004CIL (C Intermediate Language)CIL (C Intermediate Language)
11/21/2004Language design is hardLanguage Oriented Programming
11/21/2004You do have a pointLanguage Oriented Programming
11/10/2004I was...Where is everyone?
10/30/2004Now 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/2004me tooGMail accounts
11/18/2004all goneGMail accounts
10/26/2004ADTsWhat's a definition of "type" that beginners can understand?
10/01/2004In relation to...J2SE 5.0 released
10/01/2004Should have addedJ2SE 5.0 released
09/27/2004ICFP Contest ResultsICFP Contest Results
09/27/2004NeitherACM Queue: Schizoid Classes
09/30/2004ML and modulesACM Queue: Schizoid Classes
09/25/2004Great Works in Programming LanguagesGreat Works in Programming Languages
09/23/2004Compile-time ?Metaprogramming in Heron
09/26/2004MetaprogrammingMetaprogramming in Heron
09/23/2004More indicationsReferences for Beginners in PL Theory
09/29/2004funny :)References for Beginners in PL Theory
09/20/2004Ok, let's play DijkstraDijkstra on analogies and anthropomorphism
09/21/2004I don't think soDijkstra on analogies and anthropomorphism
09/17/2004Bottomline..."... because common people think like so-and-so..."
09/15/2004but why a new language ?newLisp: A better Lisp/Scheme Fusion...
09/15/2004A new language ?newLisp: A better Lisp/Scheme Fusion...
08/30/2004Arrays are functionsMultidimensional arrays
07/29/2004Dan will take the pieUdell at OSCON: IronPython news
07/17/2004Is theory irrelevant ?Why type systems are interesting
07/15/2004Emacs + tuareg modeOCaml Release 3.08.0
07/02/2004Visual Studio ExpressVisual Studio Express
07/02/2004Competition ?Visual Studio Express
06/29/2004YesPragmatic Programmers Interview
06/29/2004not exceptions in general...Pragmatic Programmers Interview
07/02/2004Missing the pointPragmatic Programmers Interview
06/24/2004Debugging and dynamic propertiesDebugging Functional Programs
06/24/2004avoid debuggingDebugging Functional Programs
06/22/2004Tunes, not TUNESTunes create context like language
06/22/2004C# is not interpreted1st International Workshop on Interpreted Languages
06/23/2004As I said...1st International Workshop on Interpreted Languages
06/22/2004abstraction = sharing ?Abstractionless programming
06/20/2004Very goodWelcome to the New, Improved LtU!
03/03/2004Categories for EverybodyCategories for Everybody
02/17/2004Re: Elements of Basic Category TheoryElements of Basic Category Theory
02/17/2004Re: Elements of Basic Category TheoryElements of Basic Category Theory
02/06/2004Re: Currying of Complex InterfacesCurrying of Complex Interfaces
05/13/2003Re: Microsoft DirectX High Level Shading LanguageMicrosoft DirectX High Level Shading Language
05/08/2003Re: The New C++: Trip Report, October 2002The New C++: Trip Report, October 2002
03/23/2003Re: Hungarian NotationHungarian Notation

LtU Topic Index Sorted by Date LtU Topic Index Sorted by Topic LtU Index of Post Authors Zipped LtU Archive


Chris Rathman/ Chris.Rathman@tx.rr.com