Lambda the Ultimate

type	title	author	last post
Story	Type-checking Modular Multiple Dispatch with Parametric Polymorphism and Multiple Inheritance First link is now broken. by naasking	Manuel J. Simoni	2012-03-01 16:27
Story	Programming as collaborative reference But non-interactive error by naasking	Manuel J. Simoni	2012-02-08 23:28
Forum topic	Small is Beautiful: the design of Lua The issue I think comes down by naasking	bashyal	2012-02-07 14:33
Forum topic	Peak Abstraction I find C# liberating given by naasking	Sean McDirmid	2012-02-06 17:19
Story	Diagram showing all programming paradigms and their relationships It's not preemptive. by naasking Within a vat, one viewpoint by naasking	Peter Van Roy	2012-01-13 17:06
Forum topic	Go's proposed panic/recover exception-like mechanism Sandro asked about my by naasking That you fail to grasp or by naasking Perhaps you should think by naasking I don't agree with this, at by naasking I am curious how you came to by naasking The implicit nature of by naasking Given Int + Int, you still by naasking Consider wrapping one by naasking Parsing user data that by naasking The burden comes from by naasking ...	pgregory	2012-01-07 01:57
Forum topic	Programmer Archeologists You used to have to work by naasking	Sean McDirmid	2012-01-06 16:48
Story	Cambridge Course on "Usability of Programming Languages" Adoption is different from by naasking One would hope we could by naasking do you just freeze up until by naasking Sometimes I think the by naasking The fact that many think by naasking	James Iry	2012-01-06 03:55
Story	Seven Myths of Formal Methods Revisited Good point, I've updated the by naasking	naasking	2012-01-03 15:24
Forum topic	iPhone PL lockdown Property rights are by naasking It isn't meaningfully your by naasking LtU -- I hate to sound by naasking if many economically by naasking The iPhone/iPad OS and by naasking Bad news for MonoTouch and by naasking	Sean McDirmid	2011-12-24 05:49
Forum topic	Models for distributed parallelism Bloom has some of the by naasking	Victor Eijkhout	2011-12-08 21:56
Forum topic	Delimited continuations for C/C++ libconcurrency is along the by naasking	tilk	2011-11-30 10:28
Story	A Language-Based Approach to Unifying Events and Threads Some snippets should illuminate the novelty by naasking	shapr	2011-11-21 12:53
Forum topic	"We Really Don't Know How to Compute!" by Gerald Sussman That sounds like the closest by naasking This is a very interesting by naasking No, it was something more by naasking I can't for the life of me by naasking I'm going to take a by naasking I didn't want to pollute by naasking The solution is quite simple by naasking Just so we're on the same by naasking I don't see why it doesn't by naasking Right, I've run into these by naasking ...	puredanger	2011-11-19 23:37
Forum topic	Flash and cross platform mobile web technologies [OT] by naasking By 'dynamic layer', I meant by naasking Finally tagless encoding. If by naasking	JeffB	2011-11-18 20:15
Forum topic	Is the Expression Problem Fundamental? But there's no natural by naasking No that was my point it by naasking And infer the dictionary by naasking I'm not sure what you're by naasking abs('a { (<) : 'a -> 'a -> by naasking How would you define a (I'm by naasking Yes, literals are by naasking The one you are giving that by naasking I agree that's what we want by naasking It may very well be that the by naasking ...	David Minor	2011-11-16 21:59
Story	The Experimental Effectiveness of Mathematical Proof This violates the separation by naasking Statically typed programs by naasking You can formalize how to by naasking	Paul Snively	2011-11-12 12:16
Forum topic	How to determine your new language is perfect? LLVM bitcode is not by naasking	Mats	2011-11-11 02:37
Story	Extensible Programming with First-Class Cases Excellent references. I'm by naasking Indeed, I'm a big fan of the by naasking The ability to ignore types by naasking The ability to ignore types by naasking Been awhile since I looked by naasking Other people disagree with by naasking OCaml's structural objects by naasking What's left is the ability by naasking Now that cases/dispatch and by naasking I actually think Ur is by naasking ...	naasking	2011-11-05 14:53
Story	Dennis Ritchie passed away I don't really see why C's by naasking	Ehud Lamm	2011-10-29 02:45
Forum topic	What space does SQL cover, or, why is max so weird in SQL? However, couldn't we make by naasking Logical Monotonicity by naasking	bdenckla	2011-10-26 20:00
Forum topic	Data, Codata, and Their Implications for Equality, and Serialization *head explodes* by naasking	Douglas McClean	2011-10-14 15:45
Forum topic	Subsumption at all costs What if you pass an instance by naasking	bashyal	2011-10-13 19:18
Story	Why Object-Oriented Languages Need Tail Calls Yes, I believe such an by naasking The optimization is explicit by naasking	Leon P Smith	2011-10-01 21:58
Forum topic	Implementor's guide/tutorial to delimited continuations? Implementing undelimited by naasking	Manuel J. Simoni	2011-08-02 18:56
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