Adam Chlipala

typetitleauthorlast post sort icon
Forum topicThe Meta-LtU Thread Leon P Smith2009-06-14 13:43
Forum topicA new idea in OOP. Please comment. dakurai2009-06-10 05:05
Forum topicQuestion concerning parameterization over literals shap2009-01-23 19:27
Forum topicNew Programming Language Idea Lee Chou2009-01-14 09:06
Forum topicWeb hosting for Haskell/Lisp/Scheme Morris Johns2009-01-10 07:39
StoryQi II James Iry2008-12-18 01:21
Forum topicrefereed journal with open access? Gergely Buday2008-12-01 14:04
Forum topicExtensible tuples? Alex Rubinsteyn2008-11-17 18:04
Forum topicWeb application shootout? Adam Chlipala2008-11-15 13:21
Forum topicANN: Ur/Web: Statically-typed metaprogramming for the web Adam Chlipala2008-10-28 23:49
Forum topicSummary of Dependently Typed Systems? jim burton2008-10-27 12:42
Forum topicApplied Type System vs. Epigram naasking2008-09-16 06:44
Forum topicPolymorphic C cjh2008-05-21 19:17
StorySingularity: Rethinking the Software Stack Ehud Lamm2007-07-06 15:09
StoryA Certified Type-Preserving Compiler from Lambda Calculus to Assembly Language Paul Snively2007-03-28 14:31
StoryThe New Twelf Wiki neelk2007-03-23 00:49