Posts By: Sriram Srinivasan
| Date | Post | Topic |
| 07/17/2012 | Logic and lattices for distributed programming. | Lattices - Partial orders with infimum and supremum |
| 06/29/2012 | The Bro event language. | DSL for Streaming Network Traffic Analysis |
| 06/01/2012 | Larry Paulson's course notes | Interactive Tutorial of the Sequent Calculus |
| 10/18/2011 | Patterns | "Crutches in language design", accidental complexity and feature overlap |
| 05/15/2011 | Why is tail call optimization an issue in GC'd languages? | Why is tail call optimization an issue in GC'd languages? |
| 05/16/2011 | TCO is useful regardless of | Why is tail call optimization an issue in GC'd languages? |
| 05/16/2011 | This is precisely the topic | Why is tail call optimization an issue in GC'd languages? |
| 05/16/2011 | [Sorry: deleted | Why is tail call optimization an issue in GC'd languages? |
| 05/16/2011 | Since the activation record | Why is tail call optimization an issue in GC'd languages? |
| 05/17/2011 | Stack based security | Why is tail call optimization an issue in GC'd languages? |
| 05/17/2011 | Stack based security | Why is tail call optimization an issue in GC'd languages? |
| 05/17/2011 | We are back to my original | Why is tail call optimization an issue in GC'd languages? |
| 05/17/2011 | Thank you. I missed that. | Why is tail call optimization an issue in GC'd languages? |
| 02/01/2011 | Vault? | Holistic types |
| 09/18/2008 | HashCaml | Content Addressable Type Systems |
| 01/31/2008 | Tom: similar project for Java | Interesting old gem: Prop does pattern matching in C++ |
| 12/21/2007 | 'Tis the best | Anyone read: Semantics with Applications: by Nielson and Nielson? |
| 10/22/2007 | In Honor of Per Brinch Hansen (1938-2007) | In Honor of Per Brinch Hansen (1938-2007) |
| 10/11/2007 | C# | Examples of large-scale functional language projects |
| 08/28/2007 | Not quite functional either. | D Programming Language Conference |
| 08/29/2007 | No reasons. | D Programming Language Conference |
| 06/11/2007 | Apples to PCs comparison? | Evaluating High-Level Distributed Language Constructs |
| 03/09/2007 | Anti-Moore's law? | Static Typing for a Faulty Lambda Calculus |
| 02/20/2007 | Hints from Pancito | How to teach Functional Programming... in Flash??? |
| 02/09/2007 | STM makes me nervous | Patrick Logan on Software Transaction Memory |
| 02/09/2007 | message passing and transactions | Patrick Logan on Software Transaction Memory |
| 01/23/2007 | Use llvm-gcc perhaps? | Compiling tail-calls to simple C? |
| 10/07/2006 | Annoying presentation style | Debugging Backwards in Time |
| 02/14/2006 | An alternative to interval arithmetic | Interval Computations |
| 12/07/2005 | Workshop on Synchronization and Concurrency in OO languages | Workshop on Synchronization and Concurrency in OO languages |
| 04/12/2006 | JIkes | Question: Graceful error recovery during parsing |
| 09/24/2005 | Back button support. | Continuations library for Java |
| 09/03/2005 | Ensemble project | System programming using FP |
| 07/02/2005 | spotlight/desktop search | Organizing papers... |
| 04/28/2005 | database engine in perl | Expressivity of lisp/scheme but speed of assembly/C/C++ |
| 02/04/2005 | Protocol languages | Protocol languages |
| 02/24/2005 | Network Semantics | Protocol languages |
| 12/19/2004 | Condolences | Absence |
| 08/19/2004 | Aaargh. 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 |