Lambda the Ultimate Weblog Topics
Last Updated 07/17/2012

Posts By: taral

  Date    Post    Topic  
11/02/2009Say what?On Understanding Data Abstraction, Revisited
01/22/2009It's a shame the test pageUsing Promises to Orchestrate Web Interactions
01/12/2009Code?Verifying Compiler Transformations for Concurrent Programs
06/24/2008CiteseerXRevisiting Coroutines
05/04/2008Statistical Defect Detection?Statistical Defect Detection?
05/04/2008Yes!Statistical Defect Detection?
04/15/2008CoqAlgebra of programming using dependent types
07/04/2007Nice paperCLL: A Concurrent Language Built from Logical Principles
04/22/2007CategoryModular Verification of Assembly Code with Stack-Based Control Abstractions
12/25/2006ByteStringBit Stream Programing in Erlang
12/26/2006Nope!Bit Stream Programing in Erlang
06/08/2006TAIL CALLSPublic resources for ECMAScript Edition 4
06/02/2006Tail callsJavaScript 2 and the Future of the Web
05/31/2006Yuk!Narrative Javascript
03/22/2006Some people have proposedEssential Language Support for Generic Programming
02/27/2006GCLeak Free Javascript Closures
12/22/2005Book!Insights on teaching computer programming
10/08/2005Zipper?Zipper-based file server/OS
06/10/2005UTF-8Bottom-Up beta-Substitution: Uplinks and lambda-DAGs
05/28/2005AwesomeJudy Stores
03/16/2005I don't get it... anyone gotLinear Forwarders
01/07/2005UnreadableComposable memory transactions
01/10/2005I'm reading the PDF version tComposable memory transactions
01/10/2005jocaml/polyphonic c#Composable memory transactions

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