Andrei Formiga

typetitle sort iconauthorlast post
Forum topicAbstractionless programming Wouter2017-06-10 16:36
StoryCall-by-Name, Call-by Value and the Lambda Calculus Ehud Lamm2015-01-12 02:08
Forum topicCareer paths and concerns Jonathan Schuster2012-03-31 18:04
StoryPCF and LCF Charles Stewart2011-06-09 21:20
Forum topicWhy type systems are interesting Anton van Straaten2010-03-08 19:47
Forum topicSystem programming using FP Todd Coram2010-02-02 02:56
Forum topicStupid Question. Matt Estes2009-06-26 20:47
Forum topicAlgebra Of Programming (Bird, De Moor) shahbaz2009-04-27 20:22
StoryACM Queue: A Conversation with Alan Kay Ehud Lamm2009-03-24 18:50
Forum topicChoice of OS of LtU readers marco2008-10-21 11:00
StoryThe Transactional Memory / Garbage Collection Analogy Tommy McGuire2008-09-19 18:33
Forum topicLet's make a programming language! Achilleas Margaritis2008-09-12 09:21
StoryWhere is everyone? Ehud Lamm2008-08-20 14:01
StorynewLisp: A better Lisp/Scheme Fusion... Brent Fulgham2008-05-06 16:24
StoryApril 1st special: The War of the Worlds Ehud Lamm2008-04-06 15:50
Forum topicLanguage Oriented Programming drc2008-02-07 05:42
StoryWhat do you mean by studying "programming languages"? Ehud Lamm2008-01-22 18:34
StoryHow to write your next POPL paper in Coq Ehud Lamm2008-01-13 18:01
StoryRalph Johnson: Erlang, the next Java Ehud Lamm2007-08-12 15:45
StoryLambda Animator Ehud Lamm2007-07-14 13:29
StoryHOPL-III: Statecharts in the Making Chris Rathman2007-07-11 16:56
Forum topicGoogle Tech Talk: Phil Gosset discusses parametric polymorphism and girard-reynolds isomorphism Chris Perkins2007-04-28 19:41
StoryPractical OCaml Matt Hellige2006-11-14 13:41
StoryVisual Basic and LINQ Erik Meijer2006-09-26 11:35
StoryProgramming Languages and Lambda Calculi Noel2006-07-11 17:23