Posts By: Rob Dockins
| Date | Post | Topic |
| 04/23/2008 | Certified compilers are already here | program verification: the very idea |
| 04/23/2008 | Suppose I verify machine code | program verification: the very idea |
| 02/08/2008 | Edison library | 10 Years of Purely Functional Data Structures |
| 11/20/2007 | Some reading suggestions | What are the properties of "Functional Programming Languages"? |
| 11/22/2007 | I think so | What are the properties of "Functional Programming Languages"? |
| 10/27/2007 | Forced to disagree | Gödel, Nagel, minds and machines |
| 10/28/2007 | I defined the type of | Gödel, Nagel, minds and machines |
| 10/28/2007 | An example boolean stream | Gödel, Nagel, minds and machines |
| 10/28/2007 | Do you see where I'm coming | Gödel, Nagel, minds and machines |
| 02/20/2007 | Some theoretical work on Dimension types | Dimensional analysis typing |
| 01/04/2007 | My Thoughts | Can referential transparency be bad? (puzzle included) |
| 01/04/2007 | Cool | Can referential transparency be bad? (puzzle included) |
| 08/23/2006 | Check out TinkerType | generating interpreters, IDEs, etc., from simple specifications? |
| 08/08/2006 | Why invent a new calculus? | Ivor, a proof engine |
| 07/07/2006 | Related paper: "Exploring the Acceptability Envelope" | Failure-oblivious computing |
| 07/06/2006 | This looks like a great intro to the topics | Programming Languages and Lambda Calculi |
| 06/08/2006 | Dataflow languages | Why Are ALL Programming Languages So Low Level? |
| 06/02/2006 | Debugging Specifications | Relevance of Curry-Howard |
| 05/02/2006 | Data structure API contracts | Folding neither Left nor Right (or how to avoid overspecifying the solution to a problem) |
| 10/11/2006 | Monads /= uniqueness typing | Tradeoffs between Unique Types and Monads |
| 10/25/2005 | Why? No silver bullet, that's why. | What do you mean by studying "programming languages"? |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |