Lambda the Ultimate

type	title	author	last post
Forum topic	Multiple Dispatch in Practice If multi-methods are forced by naasking But seeing "checked by naasking There has been much work on by naasking 4 of the languages by naasking I imagine Naasking by naasking Yes, I think openness is by naasking I think the open nature of by naasking I think the correspondence by naasking	Isaac Gouy	2008-10-25 15:28
Forum topic	A Modular, Verifiable Exception-Handling Mechanism REPL shells for statically typed langauges by naasking Despite that you can't see by naasking But I'd note it important by naasking I have a hard time imagining by naasking Actually, I'm against by naasking	dmbarbour	2008-10-23 00:21
Forum topic	To CPS or not to CPS Pace of development seems by naasking Edit: a quick google show by naasking Bitmasks for polymorphic representations by naasking Hmm, apparently SML# by naasking Yes, I did mean SML.NET. by naasking This is the paper I linked by naasking CPS isn't the final program by naasking Compiling with by naasking	marco	2008-10-10 13:29
Story	Worlds: Controlling the Scope of Side Effects They explain it. It's a by naasking Isn't a World a monad? by naasking	Luke Gorrie	2008-10-09 23:54
Forum topic	Reia: Python/Ruby style language on top of Erlang I think Charles was by naasking	David N. Welton	2008-10-06 11:51
Forum topic	Is API evolution of exceptions special? however if we define them by naasking Previously on LtU: Catch me by naasking	Jaroslav Tulach	2008-10-02 16:17
Story	Safe and Secure Software in Ada Excellent example! There are by naasking Interesting idea. Perhaps by naasking That's a pretty good read. by naasking I agree and I should have by naasking Ok, so it sounds like partly by naasking Why don't you consider this by naasking I'm not sure about formal by naasking If the semantics of the by naasking It's unknown whether covert by naasking If FlowCaml can prevent by naasking ...	Ehud Lamm	2008-09-26 19:38
Story	First-class Macros There's clearly still some by naasking But the more important point by naasking Depends no how you look at by naasking Second, they do not use by naasking I'm not sure which of my by naasking First, given a strict by naasking None of these could be by naasking In my approach, 'main' is by naasking It can, but then you have to by naasking Re: what is a macro? by naasking ...	James Iry	2008-09-24 03:54
Forum topic	Lisaac: The power of simplicity at work for operating systems	naasking	2008-09-22 13:42
Forum topic	Is There a Standard Formalism for Describing Abstract Syntax Trees? Or use a final, tagless by naasking	markt	2008-09-16 21:42
Forum topic	Applied Type System vs. Epigram Thanks for the explanation! by naasking Relation to DML by naasking	naasking	2008-09-16 06:44
Story	Polymorphic Algebraic Data Type Reconstruction The reason the program's by naasking	James Iry	2008-09-12 09:57
Story	Computation Orchestration: A Basis for Wide-Area Computing This final tagless encoding by naasking An even simpler technique is by naasking Tagless, mostly type-safe interpreters in C# by naasking I had started my initial by naasking Orc embedding for C# by naasking Orc separates computation by naasking I'm only just starting on by naasking So, if you've ever had the by naasking Aside from its simplicity, I by naasking Orc was previously by naasking	neelk	2008-09-11 17:15
Story	Erasmus: A Modular Language for Concurrent Programming On an open network, sparse by naasking I have thought of that, but by naasking It's possible to debate by naasking Hmm, for some reason I was by naasking I probably should have been by naasking I believe CML was the first by naasking	cdiggins	2008-09-10 10:23
Forum topic	Stock exchanges: language design aspect [on edit: another, by naasking There's also Nick Szabo's by naasking	Andris Birkmanis	2008-09-07 06:05
Forum topic	Is COBOL really understandable after 14 years. For anyone who has written by naasking the only reason that web by naasking	Lj	2008-09-01 15:01
Forum topic	output language for new statically typed language? C doesn't have namespaces at by naasking	AtariFan	2008-08-29 17:20
Story	Catch me if you can: Towards type-safe, hierarchical, lightweight, polymorphic and efficient error management in OCaml I doubt C++ exceptions are by naasking	naasking	2008-08-24 15:36
Forum topic	OPIS -- Distributed Arrows In O'Caml However, Orc is a language by naasking Given your brief description by naasking	Jason Dusek	2008-08-23 14:21
Forum topic	Ongoing work on Supercompilation of Java code (or supercompilation in general)? Not just inlining, I believe by naasking	sanity	2008-08-20 12:02
Story	Continuation Fest 2008 Infernal Device by naasking Slides: Continuing from the Past by naasking	Tommy McGuire	2008-08-18 20:09
Forum topic	Balancing the tension of dev vs. debug? For debugging in any by naasking	raould	2008-08-16 01:04
Story	J&: Nested Intersection for Scalable Software Composition Actually, I totally forgot by naasking As for Jones' paper: while by naasking And I can assure you that it by naasking Going the other way round, by naasking First-class Modules Redux by naasking I think you missed a by naasking This approach looks by naasking	Andris Birkmanis	2008-08-12 20:10
Story	Lightweight Monadic Regions The file handle can escape by naasking Hmm, it sounds like session by naasking	Ehud Lamm	2008-08-10 22:51
Forum topic	Is null needed? I've lost track of what by naasking For example, cons cells for by naasking Leroy's Efficient Data by naasking The issue is the pointer. by naasking From what I understood, you by naasking That is a plausible scheme, by naasking 1/x, for instance--what *do* by naasking I didn't realise that you by naasking With the option type. by naasking I've thought about this, but by naasking ...	BigZaphod	2008-08-09 00:52
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