Lambda the Ultimate Weblog Topics
Last Updated 07/17/2012

Posts By: Adam Chlipala

  Date    Post    Topic  
05/13/2012Prior artProofs as programs
04/16/2012Certified Programming with Dependent Types: home stretch!Certified Programming with Dependent Types: home stretch!
04/22/2012Thanks!Certified Programming with Dependent Types: home stretch!
04/18/2012I should probably explainCertified Programming with Dependent Types: home stretch!
11/05/2011Easy answerHow to determine your new language is perfect?
10/31/2011Please forgive me...Extensible Programming with First-Class Cases
09/24/2011The real meaningWhat Does Functional Programming Mean?
09/01/2011Ur/Web and concurrencyOpa
09/02/2011I'll just note that yourOpa
10/05/2010Macrosobj vs. ml vs. coq (fight?)
08/13/2010ML module systemThe ideal style/system for namespaces.
08/13/2010?The ideal style/system for namespaces.
06/28/2010What are you looking for?The Halting Problem and Program Proving Algorithms
02/20/2010Testing release of a platform for hosting pure functional web applicationsTesting release of a platform for hosting pure functional web applications
02/21/2010No worries :-)Testing release of a platform for hosting pure functional web applications
02/21/2010OPATesting release of a platform for hosting pure functional web applications
02/21/2010User interface widgetsTesting release of a platform for hosting pure functional web applications
02/21/2010ClarifyingTesting release of a platform for hosting pure functional web applications
02/22/2010ExampleTesting release of a platform for hosting pure functional web applications
02/23/2010Runtime issuesTesting release of a platform for hosting pure functional web applications
02/21/2010This research area isn'tDo you know of any good summer schools on types/programming languages for 2010?
02/18/2010Re: object-y goodnessReminder: OOPSLA is now SPLASH
02/19/2010Online proceedingsReminder: OOPSLA is now SPLASH
02/20/2010Author feesReminder: OOPSLA is now SPLASH
02/21/2010Journals vs. proceedingsReminder: OOPSLA is now SPLASH
01/05/2010C is the language of compilers?wondering why C is the language of compilers- when a Scheme subset would seem to be a better fit?
09/10/2009An alternativeLua for Apache httpd.conf, again
08/18/2009I think you were right thatbest superset language...
07/26/2009The Ur/Web language that I'm(Very) Simpleminded kind question
06/09/2009OCamlA new idea in OOP. Please comment.
03/03/2009Implementation discussionThe Meta-LtU Thread
01/09/2009HCoopWeb hosting for Haskell/Lisp/Scheme
12/01/2008Has anyone ever given aQi II
11/28/2008Don't forget conferencesrefereed journal with open access?
11/17/2008Ur includes a generic recordExtensible tuples?
11/07/2008I think it's a mistake toQuestion concerning parameterization over literals
11/08/2008Who said anything aboutQuestion concerning parameterization over literals
11/04/2008I would say that "process"New Programming Language Idea
10/28/2008Web application shootout?Web application shootout?
10/28/2008That link goes back to LtU,Web application shootout?
10/28/2008Thanks, though I foundWeb application shootout?
10/28/2008If you have implementationsWeb application shootout?
10/29/2008To me, this is quantifiableWeb application shootout?
10/30/2008I wasn't interpretingWeb application shootout?
10/28/2008Thanks. I had seen ocsigenWeb application shootout?
11/04/2008Thanks for the link! ThatWeb application shootout?
10/25/2008ANN: Ur/Web: Statically-typed metaprogramming for the webANN: Ur/Web: Statically-typed metaprogramming for the web
10/25/2008Fixed, thanksANN: Ur/Web: Statically-typed metaprogramming for the web
10/27/2008It won't be that surprisingANN: Ur/Web: Statically-typed metaprogramming for the web
10/25/2008My takeSummary of Dependently Typed Systems?
10/26/2008There are design patternsSummary of Dependently Typed Systems?
10/27/2008I didn't say anything aboutSummary of Dependently Typed Systems?
10/27/2008And most programs could beSummary of Dependently Typed Systems?
05/20/2008Does your question have anything to do with type classes?Polymorphic C
09/05/2007The problem to be solved?Tagless Staged Interpreters for Simpler Typed Languages
09/05/2007The type of a parser?Tagless Staged Interpreters for Simpler Typed Languages
09/05/2007Explicit "forall"?Tagless Staged Interpreters for Simpler Typed Languages
06/27/2007It's pretty easy to makeSingularity: Rethinking the Software Stack
03/22/2007I agree in principle, but...A Certified Type-Preserving Compiler from Lambda Calculus to Assembly Language
03/23/2007Another answerA Certified Type-Preserving Compiler from Lambda Calculus to Assembly Language
03/23/2007Another Coq exampleThe New Twelf Wiki
09/15/2008Is ATS really "dependently-typed"?Applied Type System vs. Epigram

LtU Topic Index Sorted by Date LtU Topic Index Sorted by Topic LtU Index of Post Authors Zipped LtU Archive


Chris Rathman/ Chris.Rathman@tx.rr.com