Sriram Srinivasan

typetitleauthor sort iconlast post
Forum topicType system based on epistemic modal logic? Jon Purdy2017-09-12 02:48
Forum topicnotes on a C-ish memory manager design Rys McCusker2017-03-27 16:24
Forum topicAutomatically Deriving Mutable Data Structures? naasking2014-09-22 14:11
Forum topicCommutative Effects Sean McDirmid2013-08-29 02:13
StoryInteractive Tutorial of the Sequent Calculus Manuel J. Simoni2012-07-24 17:55
Forum topicLattices - Partial orders with infimum and supremum hbrandl2012-07-17 15:56
Forum topicDSL for Streaming Network Traffic Analysis True Konrads2012-06-29 06:53
Forum topic"Crutches in language design", accidental complexity and feature overlap gasche2011-11-07 11:46
Forum topicWhy is tail call optimization an issue in GC'd languages? Sriram Srinivasan2011-08-02 09:20
Forum topicHolistic types Igor Serikov2011-02-01 15:37
Forum topicSystem programming using FP Todd Coram2010-02-02 02:56
Forum topicQuestion: Graceful error recovery during parsing Nathan Sobo2009-12-16 18:30
StoryPatrick Logan on Software Transaction Memory Ehud Lamm2009-10-26 21:48
Forum topicContent Addressable Type Systems JaapSuter2008-09-19 23:06
Forum topicInteresting old gem: Prop does pattern matching in C++ Tim Daly Jr.2008-02-01 05:10
Forum topicIn Honor of Per Brinch Hansen (1938-2007) Sriram Srinivasan2008-01-31 21:31
Forum topicExamples of large-scale functional language projects Luke Flemmer2008-01-06 18:44
Forum topicAnyone read: Semantics with Applications: by Nielson and Nielson? markt2007-12-21 13:40
StoryD Programming Language Conference Ehud Lamm2007-11-03 16:51
StoryEvaluating High-Level Distributed Language Constructs James Hague2007-06-13 18:28
StoryStatic Typing for a Faulty Lambda Calculus neelk2007-03-09 20:16
Forum topicHow to teach Functional Programming... in Flash??? marco2007-02-20 08:59
Forum topicCompiling tail-calls to simple C? Manuel J. Simoni2007-01-25 20:23
StoryDebugging Backwards in Time Ehud Lamm2006-10-13 09:53
StoryInterval Computations Ehud Lamm2006-02-22 21:34