Lambda the Ultimate

type	title	author	last post
Forum topic	Static Typing Where Possible, Dynamic Typing When Needed Frank Pfenning's notes on his by neelk Okay, let's suppose that you by neelk What do you mean... by neelk Actually, I don't think... by neelk The advantage of type-checking over AI... by neelk	Isaac Gouy	2010-04-20 22:32
Forum topic	splitting the program into formalizable vs. non-formalizable parts? The problem... by neelk No worries... by neelk The connection has been more by neelk	raould	2010-04-17 03:48
Story	Can functional programming be liberated from the von Neumann paradigm? How to encode this in the type system... by neelk	Charles Stewart	2010-04-14 20:25
Story	A Formal System For Euclid's Elements That Selinger paper is by neelk	neelk	2010-04-08 16:57
Forum topic	Reactive Extensions for .NET released this week Sean might be referring to by neelk Re: Questions 2 and 3 by neelk	Wolf Logan	2010-03-18 15:28
Forum topic	functional equivalance? This paper... by neelk	raould	2010-03-17 18:59
Forum topic	Why type systems are interesting Personally, I find the Pure by neelk You're right, though as a by neelk The interesting thing... by neelk No, overloading is a side-issue by neelk	Anton van Straaten	2010-03-08 19:47
Forum topic	large-scale programming systems inspired by ecological and market systems How, in a programming by neelk	Ray Dillinger	2010-03-07 07:13
Story	Extending the Scope of Syntactic Abstraction Binding... by neelk	Manuel J. Simoni	2010-03-05 04:14
Forum topic	Erik Meijer's MSDN Channel 9 lecture series on functional programming Both... by neelk	Z-Bo	2010-02-26 18:20
Story	Reminder: OOPSLA is now SPLASH	neelk	2010-02-22 23:35
Story	Continuity Analysis of Programs	neelk	2010-02-09 04:12
Story	Resolving and Exploiting the k-CFA Paradox	neelk	2010-02-08 17:24
Forum topic	Extreme non-choosiness Yes, you're... by neelk	L Spice	2010-02-04 22:23
Forum topic	Quantum Lambda Calculus The technical connection.... by neelk	Wolf Logan	2010-01-24 22:41
Story	Semantic types: a fresh look at the ideal model for types In domain theory, I've seen by neelk	neelk	2009-12-26 11:54
Story	An Innocent Model of Linear Logic The sense in which I meant by neelk So, one of the prettiest by neelk	Anton van Straaten	2009-12-19 09:26
Forum topic	Naive Question? Definition of "Higher Order" Example by neelk	scottmcl	2009-12-16 11:56
Forum topic	Implementation of Cardelli and Daan Leijen Style Record Systems? Implementation... by neelk	scottmcl	2009-12-14 21:20
Story	Differentiating Parsers Something I've wondered about... by neelk	Manuel J. Simoni	2009-12-09 23:48
Story	Causal Commutative Arrows and Their Optimization Thanks for commenting! by neelk	neelk	2009-11-05 02:42
Story	Patrick Logan on Software Transaction Memory Optimistic concurrency control is the big question mark by neelk	Ehud Lamm	2009-10-26 21:48
Forum topic	Languages and systems for edge-computing? So what I'm wondering about by neelk	lmeyerov	2009-10-25 11:14
Story	A Type-theoretic Foundation for Programming with Higher-order Abstract Syntax and First-class Substitutions Adequacy is a very modest by neelk Adequacy by neelk For a programmer, "abstract by neelk	cdiggins	2009-10-23 11:46
Story	The End of the GPU Roadmap The paper is primarily about by neelk I'm not sure what the by neelk	Noel	2009-10-23 10:03
first page previous page 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