Posts By: Steven Woodhouse
| Date | Post | Topic |
| 03/07/2008 | Capability security is | Confused Deputies in Programming Languages |
| 03/15/2008 | Comonads? | Confused Deputies in Programming Languages |
| 03/05/2008 | Is logic programming macro-expressible? | Pure, Declarative, and Constructive Arithmetic Relations |
| 02/06/2008 | Charity, CPL | Does anyone know of work done on co-data-types? |
| 01/26/2008 | I intend to check out Typed | The Design and Implementation of Typed Scheme |
| 12/07/2007 | A Syntactic Approach to Type | How to write your next POPL paper in Coq |
| 10/25/2007 | Capabilities | On the Importance of Purity |
| 10/26/2007 | And the point I hinted at | On the Importance of Purity |
| 09/18/2007 | Uniqueness types are a form | Uniqueness Types Instead STM |
| 05/22/2007 | Vault | How to make the static represent the dynamic? |
| 03/19/2007 | Sounds "functional" | Question on categorizing a language |
| 02/21/2007 | Types are not sets | Types vs classes: what is the difference? |
| 02/20/2007 | Monads, Substructural Logic, Effect Systems | Effects in Types |
| 01/23/2007 | Along these lines | Total Functional Programming |
| 11/28/2006 | Very nice job! | Programming Language Research Search Engine |
| 11/29/2006 | Agreed | Programming Language Research Search Engine |
| 11/16/2006 | Interesting Stuff | Abstractly typed languages |
| 11/03/2006 | So.. | Future of software design? |
| 10/27/2006 | I think I may have been | Ruby 2.0 News |
| 09/23/2006 | Well this idea obviously has | Designing a Programming Textbook |
| 09/12/2006 | Erlang is the most obvious | Concurrency made easy? |
| 08/30/2006 | Hmm | Gradual Typing for Functional Languages |
| 08/30/2006 | While I don't share their | Gradual Typing for Functional Languages |
| 08/27/2006 | Languages with co-inductive | Implementing arrays |
| 08/28/2006 | Something else | unchecked exceptions are like runtime type checking? |
| 12/04/2006 | A type error in a typed | unchecked exceptions are like runtime type checking? |
| 07/23/2006 | Ah, I've been looking for | Lightweight Static Capabilities |
| 07/14/2006 | Agreed | HOPL III and the History of Haskell |
| 07/15/2006 | Still, I'd slide in the other direction.. | OOP Parallel class hierarchies |
| 07/04/2006 | SML lets you define operator | DSLs and operator associativity/precedence |
| 06/24/2006 | Really, this is widely | Petition for adding garbage collection to C++. |
| 06/25/2006 | Felix | Petition for adding garbage collection to C++. |
| 06/25/2006 | Either way, why should a | Petition for adding garbage collection to C++. |
| 06/25/2006 | Region Papers | Petition for adding garbage collection to C++. |
| 06/28/2006 | Unreal Engine 4 | Petition for adding garbage collection to C++. |
| 06/28/2006 | You don't have to use monads | Petition for adding garbage collection to C++. |
| 06/16/2006 | Cecil/Diesel and Slate seem | The OO barrier |
| 06/17/2006 | The need | The OO barrier |
| 06/17/2006 | Sorry. By state I mean | The OO barrier |
| 06/20/2006 | Redefines the factorial | The OO barrier |
| 06/15/2006 | Epigram/DML/Cayenne | Applied Type System vs. Epigram |
| 06/12/2006 | Not April 1st but | Church-Turning is False? |
| 06/09/2006 | Interesting | A Brief History of Scala |
| 06/09/2006 | Re:Technology or Culture? | A Brief History of Scala |
| 06/10/2006 | Modules are more suited for | A Brief History of Scala |
| 06/07/2006 | All? | Why Are ALL Programming Languages So Low Level? |
| 06/07/2006 | Well, can you explain | Why Are ALL Programming Languages So Low Level? |
| 06/08/2006 | In your original post you | Why Are ALL Programming Languages So Low Level? |
| 06/08/2006 | Pretty sure its a troll..but | Why Are ALL Programming Languages So Low Level? |
| 07/19/2006 | Yes, this is just sugar for | First Class Values, Types as values within a Programming Language |
| 06/04/2006 | She means formal semantics. | Buried Treasure - No Fluff Just Stuff |
| 06/04/2006 | the type system isn't all | Buried Treasure - No Fluff Just Stuff |
| 06/07/2006 | Variance | Buried Treasure - No Fluff Just Stuff |
| 06/07/2006 | I've elaborated on in the | Buried Treasure - No Fluff Just Stuff |
| 06/07/2006 | An array of int can be used | Buried Treasure - No Fluff Just Stuff |
| 06/07/2006 | Well, I was explaining the | Buried Treasure - No Fluff Just Stuff |
| 06/03/2006 | This is what I was getting | Buried Treasure - No Fluff Just Stuff |
| 05/29/2006 | Curtis W: I had to check but | Buried Treasure - No Fluff Just Stuff |
| 05/29/2006 | Hybrid Languages | Buried Treasure - No Fluff Just Stuff |
| 06/02/2006 | OCaml | Multidimensional Virtual Classes |
| 12/03/2006 | [Community] Stop | Extremely static language? |
| 07/19/2006 | linear types | The Next Mainstream Programming Languages |
| 09/11/2006 | I'm not sure about dynamic | Visual Basic and LINQ |
| 06/04/2006 | Pretty random, abstract | Let's make a programming language! |
| 06/04/2006 | You misunderstand Lisp | Let's make a programming language! |
| 06/04/2006 | Can you explain your | Let's make a programming language! |
| 06/04/2006 | Yeah, I'm pretty sure that's | Let's make a programming language! |
| 06/04/2006 | Metaprogramming is what it | Let's make a programming language! |
| 06/04/2006 | What for? I already know | Let's make a programming language! |
| 06/05/2006 | Metaprogramming is what it | Let's make a programming language! |
| 06/04/2006 | quote and eval. | Let's make a programming language! |
| 06/04/2006 | ? | Let's make a programming language! |
| 06/04/2006 | Even though you know | Let's make a programming language! |
| 06/04/2006 | Isn't Spirit written with | Let's make a programming language! |
| 06/05/2006 | Arrow | Let's make a programming language! |
| 07/22/2006 | So does Alice | Transparent Persistence |
| 07/22/2006 | Sometimes the most natural | The right default: concurrent components with message passing |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |