Lambda the Ultimate

type	title	author	last post
Forum topic	A Self-Checking Type System Fully general. Magpie by naasking So generics in Magpie really by naasking Those in charge of steering by naasking	munificent	2010-11-24 02:36
Forum topic	Why are objects so unintuitive? OO "works" because it is the by naasking Any time you introduce a by naasking Encapsulation is a good by naasking I don't think he was by naasking Disagreed! Functional by naasking	Lee Chou	2010-11-19 19:07
Forum topic	First-class environments. Discuss. ;) Looks like your second link by naasking For the style of FEXPRs by naasking If the goal is to maintain by naasking Thus I object to the by naasking What is an application?!?? by naasking Of course, but to maintain by naasking In any publicly distributed by naasking I think that we as a by naasking Maybe this will help: C# 3.0 by naasking Only closures are compiled by naasking	Manuel J. Simoni	2010-11-18 13:31
Story	Directly Reflective Meta-Programming Not for the tagless encoding by naasking The 4 core extensions by naasking	Jacques Carette	2010-11-17 00:36
Story	Conservative Logic Regarding detector loopholes by naasking Our universe HAS non by naasking Related, but not by naasking	James Iry	2010-11-16 01:17
Forum topic	Programming Languages Panel Streaming Live Today (10/28/2010 16:30 PST GMT-7) It's kind of curious Mark by naasking Async/continuations for C# and VB by naasking	Charles Torre	2010-11-11 02:14
Forum topic	Design Principles Behind Smalltalk Typically, reference by naasking A good tracing GC by naasking Hadn't noticed this comment by naasking GC without paging is also a by naasking	el-vadimo	2010-11-09 17:15
Story	Generative Type Abstraction and Type-level Computation	naasking	2010-11-08 19:33
Story	Turning down the LAMP: Software specialization for the cloud Here's a recent talk about by naasking	Tommy McGuire	2010-11-06 15:40
Story	DesignerUnits Re: F#, I'm not sure what by naasking Arbitrary amounts of by naasking Likewise, at a higher level by naasking	Mark Evans	2010-11-06 13:32
Forum topic	The barrier to take-up of language innovation Tail calls in the JVM was an by naasking It's been claimed (by people by naasking	ad1mt	2010-11-06 03:26
Forum topic	Comprehensive overview of security models? Indeed, you should narrow by naasking	Z-Bo	2010-11-02 21:07
Forum topic	Concurrent Composition and Algebras of Events, Actions, and Processes “Not interesting in by naasking	raould	2010-10-31 20:45
Forum topic	Asynchronous Programming, Monads and Continuations in C#, F# and Scala .NET Tasks are indeed like by naasking	Jules Jacobs	2010-10-31 20:37
Forum topic	Looking for pointers: mixfix error recovery If you think of an error as by naasking	shap	2010-10-24 03:09
Forum topic	Simply Easy! (An Implementation of a Dependently Typed Lambda Calculus) Dependent Types: Easy as PIE by naasking	Greg Buchholz	2010-10-22 21:48
Forum topic	Is cloning independent of message-passing This is the design of the by naasking	Shrutarshi Basu	2010-10-08 19:44
Story	Omega - Language of the Future The LtU thread discussing by naasking Oh, I know it's not a magic by naasking It seems somewhat obvious by naasking	Manuel J. Simoni	2010-10-01 13:17
Forum topic	High-level constructs for low-level C: exception handling, RAII, sum types and pattern matching Thanks, I'm familiar with by naasking	naasking	2010-09-29 21:16
Forum topic	Deprecating the Observer Pattern That is not the point of the by naasking How is it minimal and what by naasking Assuming tolerating glitches by naasking but I still think FRP is by naasking E-ORDER is tackling a by naasking I didn't get all of this by naasking How? The state is by naasking IObservable is just an by naasking	Alex Cruise	2010-09-28 03:56
Forum topic	FunLoft reactive, concurrent programming language You're right, I shouldn't by naasking I'm not aware of any by naasking	raould	2010-09-22 13:57
Forum topic	Computational equivalent of incompleteness theorems? Great thread. It seems to by naasking Perhaps I'm trying too hard, by naasking	naasking	2010-09-21 06:55
Forum topic	What are the properties of "Functional Programming Languages"? How would one classify a by naasking A good litmus test for a by naasking	kaveh.shahbazian	2010-09-13 17:38
Story	Joe Duffy: A (brief) retrospective on transactional memory They're using a boolean lock by naasking	Z-Bo	2010-09-09 12:58
Forum topic	Choosing a VM for a concurrent language In effect I've hand-rolled by naasking This assumes that the by naasking	Shrutarshi Basu	2010-09-09 04:19
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