Lambda the Ultimate Weblog Topics
Last Updated 03/21/2010

Posts By: Samuel Gelineau

  Date    Post    Topic  
02/05/2010Semi-DecisionContinuity Analysis of Programs
12/14/2009not quite, but good work!Naive Question? Definition of "Higher Order"
12/15/2009Not crazy enough for aprilClaiming Infinity
12/18/2009ClarificationClaiming Infinity
10/30/2009unicodeπ: a pattern language
10/30/2009what?π: a pattern language
10/04/2009Not quiteA Type-theoretic Foundation for Programming with Higher-order Abstract Syntax and First-class Substitutions
10/15/2008Answering with a questionIn which sense Joy is functional?
09/19/2008rewrite to make the recursion explicitContent Addressable Type Systems

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

Chris Rathman/