Lambda the Ultimate Weblog Topics
Last Updated 03/21/2010

Posts By: Sean Leather

  Date    Post    Topic  
02/09/2010OOHaskellMutable objects with monadic methods
10/25/2008Broken links in demoANN: Ur/Web: Statically-typed metaprogramming for the web
10/28/2008Integer overflowANN: Ur/Web: Statically-typed metaprogramming for the web
10/23/2008RevitalizationBEE3: Putting the Buzz Back into Computer Architecture
09/11/2008The working link...Coinductive proof principles for stochastic processes
08/22/2008Algebraically speaking...type derivation for 'map map', yelp
07/22/2009Proof and Disproof in Formal LogicNatural Deduction Reading for Beginners
09/30/2006Where to start...Which Java compiler for a student/research project?
12/02/2005I disagreeInternship advice
10/22/2005AnnotationsLinear types for aliased resources
10/21/2005MotivationWhat do you mean by studying "programming languages"?
10/22/2005Asking !why is important, tooWhat do you mean by studying "programming languages"?
10/22/2005Very nicely putWhat do you mean by studying "programming languages"?
10/22/2005Wh?, Wh*, or Wh_What do you mean by studying "programming languages"?
10/26/2005A taxonomy of programming environments and languagesWhat do you mean by studying "programming languages"?
10/20/2005Referential transparencyABLE
10/20/2005You're welcome!ABLE
10/20/2005Relational and/or Object-Oriented (or There and Back Again)Best default sequence?
10/21/2005Hmm...Best default sequence?
10/13/2005Be open, LearnPLT and College
10/07/2005On Smith and NairVirtual Machine books
10/04/2005Chapel: "Solving the parallel programming problem"Chapel: "Solving the parallel programming problem"
10/05/2005General-purpose?Chapel: "Solving the parallel programming problem"
10/06/2005Not 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


Chris Rathman/ Chris.Rathman@tx.rr.com