Adam Chlipala

typetitle sort iconauthorlast post
Forum topicThe ideal style/system for namespaces. simcop23872010-08-16 17:25
Forum topicThe Halting Problem and Program Proving Algorithms johnnyb2010-06-29 23:30
StoryTagless Staged Interpreters for Simpler Typed Languages Ehud Lamm2010-04-06 00:28
Forum topicTesting release of a platform for hosting pure functional web applications Adam Chlipala2010-02-26 23:30
StoryReminder: OOPSLA is now SPLASH neelk2010-02-22 23:35
Forum topicDo you know of any good summer schools on types/programming languages for 2010? iainmcgin2010-02-22 15:23
Forum topicwondering why C is the language of compilers- when a Scheme subset would seem to be a better fit? spdegabrielle2010-01-07 02:11
Forum topicLua for Apache httpd.conf, again Manuel J. Simoni2009-09-16 20:27
Forum topicbest superset language... ceti3312009-08-27 06:01
Forum topic(Very) Simpleminded kind question jimdesu2009-07-26 14:11
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