Posts By: Ethan Aubin
| Date | Post | Topic |
| 08/27/2009 | EDOS | Review NP-complete Library Versioning Problem |
| 01/22/2009 | Ott: Tool Support for Semantics | Specifying semantics and type rules |
| 08/11/2008 | Strict evaluation as an effect | Programming Language Beauty: Look Closure |
| 08/11/2008 | I must be missing something, | Programming Language Beauty: Look Closure |
| 03/10/2008 | Modular Information Hiding and Type Safe Linking for C | C - header files |
| 02/28/2008 | defered bottom up error propagation | exceptions again |
| 02/15/2008 | PL Related Blogs | PL Related Blogs |
| 02/15/2008 | A few more | PL Related Blogs |
| 01/18/2008 | coq-svn | Prediction for 2008 |
| 03/20/2007 | Type Analysis and Data Structure Selection | Abstract Data Type Usage Analysis |
| 01/17/2007 | Logic-Flow Analysis of Higher-Order Programs | Annotated POPL 2007 Program |
| 01/18/2007 | Geometry of Synthesis: A structural approach to VLSI design | Annotated POPL 2007 Program |
| 12/13/2006 | Exception-Handling Bugs in Java and a Language Extension to Avoi | Exceptions |
| 10/21/2006 | Better language for reference implementation than specification | Specifying ECMAScript via ML |
| 07/10/2006 | Relatively practical | Abstracting Allocation: The New new Thing |
| 06/29/2006 | ?? | Gottfried Wilhelm Leibniz |
| 06/28/2006 | CMod | Petition for adding garbage collection to C++. |
| 06/09/2006 | My 2 cents | LtU: blog not forum! |
| 06/09/2006 | Re: split LtU in high and low part | LtU: blog not forum! |
| 06/05/2006 | Coverity | Type checking and logical errors |
| 06/06/2006 | Interpreter | Buried Treasure - No Fluff Just Stuff |
| 06/06/2006 | Going to Church | Buried Treasure - No Fluff Just Stuff |
| 05/23/2006 | no problem with editing | Editing posts |
| 05/24/2006 | Modal languages | ruby vs python |
| 06/09/2006 | Modular Type Classes | Multidimensional Virtual Classes |
| 05/06/2006 | With coroutines, you don't | What do you believe about Programming Languages (that you can't prove (yet))? |
| 03/01/2006 | How does "optional" work anyway? | Gilad Is Right |
| 02/18/2006 | I can quit any time Dr. Meijer | Gilad Is Right |
| 02/09/2006 | Jurys still out | How are GADTs useful in practical programming? |
| 03/14/2006 | Typed Contracts for Functional Programming | How are GADTs useful in practical programming? |
| 01/31/2006 | As well as | Robert Harper Named as ACM Fellow |
| 01/25/2006 | The Golden Middle Way | Beyond LINQ: A Manifesto For Distributed Data-Intensive Programming |
| 01/23/2006 | Coincidence | Haskell is not not ML |
| 11/18/2005 | bad link | Felleisen: How to Design Class Hierarchies |
| 10/27/2005 | Sets, Bags, and Mobiles | Why Lists? |
| 10/25/2005 | Phantom types | Linear types for aliased resources |
| 08/16/2006 | Equal Rights for Functional Objects | Object Oriented Programming + Referential Transparency |
| 10/04/2005 | Stupid question | "The Anatomy of a Loop" |
| 09/28/2005 | MHO | LtU: Style and Focus |
| 09/23/2005 | Pathfinder/MonetDB | XQuery Implementation in a Relational Database System |
| 09/22/2005 | Python | Good languages with simple grammar |
| 09/12/2005 | More Fun, Less Functional | Haskell and creative freedom |
| 09/08/2005 | ... I can't imagine ( at this | Apple: procedural -> OO -> AOP -> advanced procedural |
| 09/03/2005 | Phantom types | Yearning for a practical scheme |
| 09/05/2005 | Type classes | Yearning for a practical scheme |
| 08/24/2005 | Filtering Threads | Filtering Threads |
| 07/14/2005 | modularity of AI | Static Typing Where Possible, Dynamic Typing When Needed |
| 05/27/2005 | audio/video online | Conference in Vancouver |
| 05/05/2005 | Re: Mandator vs. Pluggable Type Systems | Call for Papers: ACM Symposium on Dynamic Languages |
| 04/29/2005 | hmm.. | Memory fault and segmentation faults |
| 04/27/2005 | Parallelism | The Fortress Language Spec v0.618 |
| 04/13/2005 | Proof-Carrying Execution | Links |
| 04/12/2005 | Links | Links |
| 04/13/2005 | LtU and Submarine Soundness | Links |
| 04/08/2005 | Links Slides | Links Slides |
| 04/11/2005 | Some notes | Links Slides |
| 04/01/2005 | The name "lambda" | Fold Must Fold! |
| 03/15/2005 | Incremental improvement over existing products | Xactium -- "lightweight language engineering" ??!? |
| 02/24/2005 | Sources | Journals and papers? |
| 03/20/2005 | Logical Methods in Computer Science | Journals and papers? |
| 07/16/2004 | Unread messages | The site discussions forum |
| 05/20/2004 | Re: The SkyNet Virus: Why it is Unstoppable; How to Stop it | The SkyNet Virus: Why it is Unstoppable; How to Stop it |
| 01/19/2004 | Re: Concept programming | Concept programming |
| 12/01/2003 | Re: Events and Continuations | Events and Continuations |
| 10/25/2003 | Re: State and modularity | State and modularity |
| 09/04/2003 | Re: Why don't more people use Prolog? | Why don't more people use Prolog? |
| 07/07/2003 | Re: JOVIAL References | JOVIAL References |
| 11/12/2002 | Haskell Communities and Activities Report | Haskell Communities and Activities Report |
| 10/06/2002 | Re: USENIX - Security '02 - Technical Sessions | USENIX - Security '02 - Technical Sessions |
| 09/17/2002 | Re: Parsec, a fast combinator parser | Parsec, a fast combinator parser |
| 07/26/2002 | Re: Richard Hamming: You and Your Research | Richard Hamming: You and Your Research |
| 02/23/2002 | Re: Applications of Continuations | Applications of Continuations |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |