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 |