Posts By: Samuel Gelineau
| Date | Post | Topic |
| 02/05/2010 | Semi-Decision | Continuity Analysis of Programs |
| 12/14/2009 | not quite, but good work! | Naive Question? Definition of "Higher Order" |
| 12/15/2009 | Not crazy enough for april | Claiming Infinity |
| 12/18/2009 | Clarification | Claiming Infinity |
| 10/30/2009 | unicode | π: a pattern language |
| 10/30/2009 | what? | π: a pattern language |
| 10/04/2009 | Not quite | A Type-theoretic Foundation for Programming with Higher-order Abstract Syntax and First-class Substitutions |
| 10/15/2008 | Answering with a question | In which sense Joy is functional? |
| 09/19/2008 | rewrite to make the recursion explicit | Content Addressable Type Systems |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |