Posts By: taral
| Date | Post | Topic |
| 11/02/2009 | Say what? | On Understanding Data Abstraction, Revisited |
| 01/22/2009 | It's a shame the test page | Using Promises to Orchestrate Web Interactions |
| 01/12/2009 | Code? | Verifying Compiler Transformations for Concurrent Programs |
| 06/24/2008 | CiteseerX | Revisiting Coroutines |
| 05/04/2008 | Statistical Defect Detection? | Statistical Defect Detection? |
| 05/04/2008 | Yes! | Statistical Defect Detection? |
| 04/15/2008 | Coq | Algebra of programming using dependent types |
| 07/04/2007 | Nice paper | CLL: A Concurrent Language Built from Logical Principles |
| 04/22/2007 | Category | Modular Verification of Assembly Code with Stack-Based Control Abstractions |
| 12/25/2006 | ByteString | Bit Stream Programing in Erlang |
| 12/26/2006 | Nope! | Bit Stream Programing in Erlang |
| 06/08/2006 | TAIL CALLS | Public resources for ECMAScript Edition 4 |
| 06/02/2006 | Tail calls | JavaScript 2 and the Future of the Web |
| 05/31/2006 | Yuk! | Narrative Javascript |
| 03/22/2006 | Some people have proposed | Essential Language Support for Generic Programming |
| 02/27/2006 | GC | Leak Free Javascript Closures |
| 12/22/2005 | Book! | Insights on teaching computer programming |
| 10/08/2005 | Zipper? | Zipper-based file server/OS |
| 06/10/2005 | UTF-8 | Bottom-Up beta-Substitution: Uplinks and lambda-DAGs |
| 05/28/2005 | Awesome | Judy Stores |
| 03/16/2005 | I don't get it... anyone got | Linear Forwarders |
| 01/07/2005 | Unreadable | Composable memory transactions |
| 01/10/2005 | I'm reading the PDF version t | Composable memory transactions |
| 01/10/2005 | jocaml/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 |