Posts By: Sean Leather
| Date | Post | Topic |
| 02/09/2010 | OOHaskell | Mutable objects with monadic methods |
| 10/25/2008 | Broken links in demo | ANN: Ur/Web: Statically-typed metaprogramming for the web |
| 10/28/2008 | Integer overflow | ANN: Ur/Web: Statically-typed metaprogramming for the web |
| 10/23/2008 | Revitalization | BEE3: Putting the Buzz Back into Computer Architecture |
| 09/11/2008 | The working link... | Coinductive proof principles for stochastic processes |
| 08/22/2008 | Algebraically speaking... | type derivation for 'map map', yelp |
| 07/22/2009 | Proof and Disproof in Formal Logic | Natural Deduction Reading for Beginners |
| 09/30/2006 | Where to start... | Which Java compiler for a student/research project? |
| 12/02/2005 | I disagree | Internship advice |
| 10/22/2005 | Annotations | Linear types for aliased resources |
| 10/21/2005 | Motivation | What do you mean by studying "programming languages"? |
| 10/22/2005 | Asking !why is important, too | What do you mean by studying "programming languages"? |
| 10/22/2005 | Very nicely put | What do you mean by studying "programming languages"? |
| 10/22/2005 | Wh?, Wh*, or Wh_ | What do you mean by studying "programming languages"? |
| 10/26/2005 | A taxonomy of programming environments and languages | What do you mean by studying "programming languages"? |
| 10/20/2005 | Referential transparency | ABLE |
| 10/20/2005 | You're welcome! | ABLE |
| 10/20/2005 | Relational and/or Object-Oriented (or There and Back Again) | Best default sequence? |
| 10/21/2005 | Hmm... | Best default sequence? |
| 10/13/2005 | Be open, Learn | PLT and College |
| 10/07/2005 | On Smith and Nair | Virtual Machine books |
| 10/04/2005 | Chapel: "Solving the parallel programming problem" | Chapel: "Solving the parallel programming problem" |
| 10/05/2005 | General-purpose? | Chapel: "Solving the parallel programming problem" |
| 10/06/2005 | Not quite FP? | Chapel: "Solving the parallel programming problem" |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |