keigoi profile

Recent Activity

• 01:26: posted Much Ado about Two: A Pearl on Parallel Prefix Computation

• 02:23: posted Many Holes in Hindley-Milner

• 14:21: posted An Empirical Analysis of C Preprocessor Use
• 13:06: posted The <i>nesC</i> language: A holistic approach to networked embedded systems
• 12:55: posted Flask: staged functional programming for sensor networks
• 00:50: posted Parametric higher-order abstract syntax for mechanized semantics
• 00:38: posted PiLib: A Hosted Language for Pi-Calculus Style Concurrency

• 05:35: posted Substructural Type Systems for Program Analysis

• 06:40: posted Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theorem
• 06:37: posted A type-preserving compiler in Haskell
• 06:29: posted A type-preserving closure conversion in haskell

• 04:26: posted Acceptor and connector