Posts By: Adam Chlipala
| Date | Post | Topic |
| 05/13/2012 | Prior art | Proofs as programs |
| 04/16/2012 | Certified Programming with Dependent Types: home stretch! | Certified Programming with Dependent Types: home stretch! |
| 04/22/2012 | Thanks! | Certified Programming with Dependent Types: home stretch! |
| 04/18/2012 | I should probably explain | Certified Programming with Dependent Types: home stretch! |
| 11/05/2011 | Easy answer | How to determine your new language is perfect? |
| 10/31/2011 | Please forgive me... | Extensible Programming with First-Class Cases |
| 09/24/2011 | The real meaning | What Does Functional Programming Mean? |
| 09/01/2011 | Ur/Web and concurrency | Opa |
| 09/02/2011 | I'll just note that your | Opa |
| 10/05/2010 | Macros | obj vs. ml vs. coq (fight?) |
| 08/13/2010 | ML module system | The ideal style/system for namespaces. |
| 08/13/2010 | ? | The ideal style/system for namespaces. |
| 06/28/2010 | What are you looking for? | The Halting Problem and Program Proving Algorithms |
| 02/20/2010 | Testing release of a platform for hosting pure functional web applications | Testing release of a platform for hosting pure functional web applications |
| 02/21/2010 | No worries :-) | Testing release of a platform for hosting pure functional web applications |
| 02/21/2010 | OPA | Testing release of a platform for hosting pure functional web applications |
| 02/21/2010 | User interface widgets | Testing release of a platform for hosting pure functional web applications |
| 02/21/2010 | Clarifying | Testing release of a platform for hosting pure functional web applications |
| 02/22/2010 | Example | Testing release of a platform for hosting pure functional web applications |
| 02/23/2010 | Runtime issues | Testing release of a platform for hosting pure functional web applications |
| 02/21/2010 | This research area isn't | Do you know of any good summer schools on types/programming languages for 2010? |
| 02/18/2010 | Re: object-y goodness | Reminder: OOPSLA is now SPLASH |
| 02/19/2010 | Online proceedings | Reminder: OOPSLA is now SPLASH |
| 02/20/2010 | Author fees | Reminder: OOPSLA is now SPLASH |
| 02/21/2010 | Journals vs. proceedings | Reminder: OOPSLA is now SPLASH |
| 01/05/2010 | C 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/2009 | An alternative | Lua for Apache httpd.conf, again |
| 08/18/2009 | I think you were right that | best superset language... |
| 07/26/2009 | The Ur/Web language that I'm | (Very) Simpleminded kind question |
| 06/09/2009 | OCaml | A new idea in OOP. Please comment. |
| 03/03/2009 | Implementation discussion | The Meta-LtU Thread |
| 01/09/2009 | HCoop | Web hosting for Haskell/Lisp/Scheme |
| 12/01/2008 | Has anyone ever given a | Qi II |
| 11/28/2008 | Don't forget conferences | refereed journal with open access? |
| 11/17/2008 | Ur includes a generic record | Extensible tuples? |
| 11/07/2008 | I think it's a mistake to | Question concerning parameterization over literals |
| 11/08/2008 | Who said anything about | Question concerning parameterization over literals |
| 11/04/2008 | I would say that "process" | New Programming Language Idea |
| 10/28/2008 | Web application shootout? | Web application shootout? |
| 10/28/2008 | That link goes back to LtU, | Web application shootout? |
| 10/28/2008 | Thanks, though I found | Web application shootout? |
| 10/28/2008 | If you have implementations | Web application shootout? |
| 10/29/2008 | To me, this is quantifiable | Web application shootout? |
| 10/30/2008 | I wasn't interpreting | Web application shootout? |
| 10/28/2008 | Thanks. I had seen ocsigen | Web application shootout? |
| 11/04/2008 | Thanks for the link! That | Web application shootout? |
| 10/25/2008 | ANN: Ur/Web: Statically-typed metaprogramming for the web | ANN: Ur/Web: Statically-typed metaprogramming for the web |
| 10/25/2008 | Fixed, thanks | ANN: Ur/Web: Statically-typed metaprogramming for the web |
| 10/27/2008 | It won't be that surprising | ANN: Ur/Web: Statically-typed metaprogramming for the web |
| 10/25/2008 | My take | Summary of Dependently Typed Systems? |
| 10/26/2008 | There are design patterns | Summary of Dependently Typed Systems? |
| 10/27/2008 | I didn't say anything about | Summary of Dependently Typed Systems? |
| 10/27/2008 | And most programs could be | Summary of Dependently Typed Systems? |
| 05/20/2008 | Does your question have anything to do with type classes? | Polymorphic C |
| 09/05/2007 | The problem to be solved? | Tagless Staged Interpreters for Simpler Typed Languages |
| 09/05/2007 | The type of a parser? | Tagless Staged Interpreters for Simpler Typed Languages |
| 09/05/2007 | Explicit "forall"? | Tagless Staged Interpreters for Simpler Typed Languages |
| 06/27/2007 | It's pretty easy to make | Singularity: Rethinking the Software Stack |
| 03/22/2007 | I agree in principle, but... | A Certified Type-Preserving Compiler from Lambda Calculus to Assembly Language |
| 03/23/2007 | Another answer | A Certified Type-Preserving Compiler from Lambda Calculus to Assembly Language |
| 03/23/2007 | Another Coq example | The New Twelf Wiki |
| 09/15/2008 | Is 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 |