Adam Chlipala

typetitleauthorlast post sort icon
Forum topicThe TechEmpower Web Framework Benchmarks Adam Chlipala2014-05-06 11:41
Forum topicPrint release of a textbook on the Coq proof assistant Adam Chlipala2014-01-15 13:50
StoryCUFP 2012 Tutorials Ehud Lamm2012-08-27 14:42
Forum topicProofs as programs hbrandl2012-05-29 09:43
Forum topicCertified Programming with Dependent Types: home stretch! Adam Chlipala2012-04-22 22:31
Forum topicHow to determine your new language is perfect? Mats2011-11-11 02:37
StoryExtensible Programming with First-Class Cases naasking2011-11-05 14:53
StoryOpa Ehud Lamm2011-10-28 01:42
Forum topicWhat Does Functional Programming Mean? Denis Bredelet -jido2011-09-26 00:17
Forum topicobj vs. ml vs. coq (fight?) raould2010-10-05 14:48
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