Lambda the Ultimate

type	title	author	last post
Forum topic	Scheme from Scratch project Take a look at... by neelk	Peter Michaux	2010-08-10 02:17
Story	Monads in Action	neelk	2010-08-04 06:45
Forum topic	Questions about Semantics. You might want to look at Frank Pfenning's notes... by neelk I've heard that... by neelk	Matt Estes	2010-07-15 05:47
Story	An intuitionistic logic that proves Markov's principle You're exactly right by neelk The standard proof... by neelk	neelk	2010-07-07 08:23
Story	Functional Pearl: Species and Functors and Types, Oh My! Oh... by neelk	Matt Hellige	2010-07-05 09:38
Forum topic	What's the type of an optional parameter? This is... by neelk	Manuel J. Simoni	2010-07-04 17:23
Forum topic	A lambda calculus with arbitrary set primitives Don't try to read the online by neelk No... by neelk Yes... by neelk Answers... by neelk	Neil Toronto	2010-07-01 12:56
Forum topic	Looking for a proof that eager reduction is as strong as lazy reduction I don't know what you mean by "strong"... by neelk	marco	2010-06-20 04:28
Forum topic	Typed Lambda Calculus There may be some scientific by neelk	marcosag	2010-05-05 21:11
Forum topic	Linear & Dependent types of ATS applied to the Cairo graphics library I figured he couldn't mean by neelk It's the indefinite lifetime... by neelk This is still unsafe by neelk For concreteness... by neelk	raould	2010-05-04 07:37
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
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