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

Posts By: Sriram Srinivasan

  Date    Post    Topic  
07/17/2012Logic and lattices for distributed programming.Lattices - Partial orders with infimum and supremum
06/29/2012The Bro event language.DSL for Streaming Network Traffic Analysis
06/01/2012Larry Paulson's course notesInteractive Tutorial of the Sequent Calculus
10/18/2011Patterns"Crutches in language design", accidental complexity and feature overlap
05/15/2011Why is tail call optimization an issue in GC'd languages?Why is tail call optimization an issue in GC'd languages?
05/16/2011TCO is useful regardless ofWhy is tail call optimization an issue in GC'd languages?
05/16/2011This is precisely the topicWhy is tail call optimization an issue in GC'd languages?
05/16/2011[Sorry: deletedWhy is tail call optimization an issue in GC'd languages?
05/16/2011Since the activation recordWhy is tail call optimization an issue in GC'd languages?
05/17/2011Stack based securityWhy is tail call optimization an issue in GC'd languages?
05/17/2011Stack based securityWhy is tail call optimization an issue in GC'd languages?
05/17/2011We are back to my originalWhy is tail call optimization an issue in GC'd languages?
05/17/2011Thank you. I missed that.Why is tail call optimization an issue in GC'd languages?
02/01/2011Vault?Holistic types
09/18/2008HashCamlContent Addressable Type Systems
01/31/2008Tom: similar project for JavaInteresting old gem: Prop does pattern matching in C++
12/21/2007'Tis the bestAnyone read: Semantics with Applications: by Nielson and Nielson?
10/22/2007In Honor of Per Brinch Hansen (1938-2007)In Honor of Per Brinch Hansen (1938-2007)
10/11/2007C#Examples of large-scale functional language projects
08/28/2007Not quite functional either.D Programming Language Conference
08/29/2007No reasons.D Programming Language Conference
06/11/2007Apples to PCs comparison?Evaluating High-Level Distributed Language Constructs
03/09/2007Anti-Moore's law?Static Typing for a Faulty Lambda Calculus
02/20/2007Hints from PancitoHow to teach Functional Programming... in Flash???
02/09/2007STM makes me nervousPatrick Logan on Software Transaction Memory
02/09/2007message passing and transactionsPatrick Logan on Software Transaction Memory
01/23/2007Use llvm-gcc perhaps?Compiling tail-calls to simple C?
10/07/2006Annoying presentation styleDebugging Backwards in Time
02/14/2006An alternative to interval arithmeticInterval Computations
12/07/2005Workshop on Synchronization and Concurrency in OO languagesWorkshop on Synchronization and Concurrency in OO languages
04/12/2006JIkesQuestion: Graceful error recovery during parsing
09/24/2005Back button support.Continuations library for Java
09/03/2005Ensemble projectSystem programming using FP
07/02/2005spotlight/desktop searchOrganizing papers...
04/28/2005database engine in perlExpressivity of lisp/scheme but speed of assembly/C/C++
02/04/2005Protocol languagesProtocol languages
02/24/2005Network SemanticsProtocol languages
12/19/2004CondolencesAbsence
08/19/2004Aaargh. That number of threads argument again ...Notes from a Concurrency-Oriented Junkie

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