Lambda the Ultimate

type	title	author	last post
Forum topic	System programming using FP Ensemble project by Sriram Srinivasan	Todd Coram	2020-11-27 13:54
Forum topic	Type system based on epistemic modal logic? Temporal modalities too. by Sriram Srinivasan	Jon Purdy	2017-09-12 02:48
Forum topic	notes on a C-ish memory manager design Fibres. by Sriram Srinivasan	Rys McCusker	2017-03-27 16:24
Forum topic	Automatically Deriving Mutable Data Structures? data structure synthesis by Sriram Srinivasan	naasking	2014-09-22 14:11
Forum topic	Commutative Effects Two more by Sriram Srinivasan	Sean McDirmid	2013-08-29 02:13
Story	Interactive Tutorial of the Sequent Calculus Larry Paulson's course notes by Sriram Srinivasan	Manuel J. Simoni	2012-07-24 17:55
Forum topic	Lattices - Partial orders with infimum and supremum Logic and lattices for distributed programming. by Sriram Srinivasan	hbrandl	2012-07-17 15:56
Forum topic	DSL for Streaming Network Traffic Analysis The Bro event language. by Sriram Srinivasan	True Konrads	2012-06-29 06:53
Forum topic	"Crutches in language design", accidental complexity and feature overlap Patterns by Sriram Srinivasan	gasche	2011-11-07 11:46
Forum topic	Why is tail call optimization an issue in GC'd languages? Stack based security by Sriram Srinivasan Stack based security by Sriram Srinivasan We are back to my original by Sriram Srinivasan Thank you. I missed that. by Sriram Srinivasan This is precisely the topic by Sriram Srinivasan TCO is useful regardless of by Sriram Srinivasan [Sorry: deleted by Sriram Srinivasan Since the activation record by Sriram Srinivasan	Sriram Srinivasan	2011-08-02 09:20
Forum topic	Holistic types Vault? by Sriram Srinivasan	Igor Serikov	2011-02-01 15:37
Forum topic	Question: Graceful error recovery during parsing JIkes by Sriram Srinivasan	Nathan Sobo	2009-12-16 18:30
Story	Patrick Logan on Software Transaction Memory message passing and transactions by Sriram Srinivasan STM makes me nervous by Sriram Srinivasan	Ehud Lamm	2009-10-26 21:48
Forum topic	Content Addressable Type Systems HashCaml by Sriram Srinivasan	JaapSuter	2008-09-19 23:06
Forum topic	Interesting old gem: Prop does pattern matching in C++ Tom: similar project for Java by Sriram Srinivasan	Tim Daly Jr.	2008-02-01 05:10
Forum topic	In Honor of Per Brinch Hansen (1938-2007)	Sriram Srinivasan	2008-01-31 21:31
Forum topic	Examples of large-scale functional language projects C# by Sriram Srinivasan	Luke Flemmer	2008-01-06 18:44
Forum topic	Anyone read: Semantics with Applications: by Nielson and Nielson? 'Tis the best by Sriram Srinivasan	markt	2007-12-21 13:40
Story	D Programming Language Conference No reasons. by Sriram Srinivasan Not quite functional either. by Sriram Srinivasan	Ehud Lamm	2007-11-03 16:51
Story	Evaluating High-Level Distributed Language Constructs Apples to PCs comparison? by Sriram Srinivasan	James Hague	2007-06-13 18:28
Story	Static Typing for a Faulty Lambda Calculus Anti-Moore's law? by Sriram Srinivasan	neelk	2007-03-09 20:16
Forum topic	How to teach Functional Programming... in Flash??? Hints from Pancito by Sriram Srinivasan	marco	2007-02-20 08:59
Forum topic	Compiling tail-calls to simple C? Use llvm-gcc perhaps? by Sriram Srinivasan	Manuel J. Simoni	2007-01-25 20:23
Story	Debugging Backwards in Time Annoying presentation style by Sriram Srinivasan	Ehud Lamm	2006-10-13 09:53
Story	Interval Computations An alternative to interval arithmetic by Sriram Srinivasan	Ehud Lamm	2006-02-22 21:34
next page last page

---

Logs: Hack The Planet ; JavaLobby ; Daily Python-URL ; Daily WTF ; PHP everywhere ; (more)
Wikis: WikiWiki ; Erlang ; Common Lisp ; Haskell ; Squeak ; Tcl ; Program Transformation