Lambda the Ultimate

type	title	author	last post
Forum topic	Non-standard type theories for FP Are the only difficulties by naasking That's how I read marco's by naasking I don't get it. Where is the by naasking And '(forall a. a) -> by naasking	marco	2008-12-03 16:26
Forum topic	The Origins of the BitC Programming Language I was going to post this by naasking You're right that I haven't by naasking My mistake! I thought it was by naasking All disk controllers have a by naasking The notable recent exception by naasking the stab at Linux isn't very by naasking Well, if there is sufficient by naasking	Isaac Gouy	2008-11-20 13:48
Forum topic	Extensible tuples? Extensible records by naasking	Alex Rubinsteyn	2008-11-17 18:04
Forum topic	Q: Modularizing SQL? But if, on the other hand, by naasking The lambda calculus is by naasking Is not the data model XQuery by naasking There is some advantage to by naasking At least in your example, by naasking No abstraction by naasking	sciomako	2008-11-15 13:40
Forum topic	Web application shootout? Maybe the best you can do is by naasking	Adam Chlipala	2008-11-15 13:21
Forum topic	First-Class Patterns Pattern functions are by naasking Scala's extractors are by naasking I had been considering a by naasking	naasking	2008-11-13 22:09
Story	Modeling Abstract Types in Modules with Open Existential Types	naasking	2008-11-11 01:23
Forum topic	Question concerning parameterization over literals "you can't just abstract by naasking Number-Parameterized Types by naasking	shap	2008-11-10 22:40
Forum topic	Declarative layout and/or UI languages? That's a really good link, by naasking Really you should take a by naasking Property models is by naasking We were actually referring by naasking Sorry for being absent from by naasking	naasking	2008-11-10 10:44
Forum topic	Oz/K: A kernel language for component-based open programming Link that works for me. Or by naasking	Isaac Gouy	2008-11-07 09:17
Forum topic	Languages without operator precedence I'm wondering about the by naasking	Douglas McClean	2008-11-06 09:58
Forum topic	Reflection, Attributes and Parameterization	naasking	2008-11-04 16:12
Forum topic	Garbage Collection Representations Two new polymorphic representations by naasking From what I can see from the by naasking I was planning to use GNU by naasking Indeed, but not very by naasking Garbage collecting code? by naasking They describe the by naasking	naasking	2008-11-03 22:37
Story	Automated Code Review Tools for Security Protecting the references by naasking There are a number of by naasking Invalid link! by naasking Did I forget to mention the by naasking Do you happen to have a link by naasking it assumes that every by naasking What do you mean by by naasking	Ehud Lamm	2008-11-03 06:01
Forum topic	Why do OOPLs type objects as classes? if every class Foo by naasking	robmeyers	2008-10-30 22:37
Forum topic	Object Oriented Programming + Referential Transparency State is on the stack by naasking	mjstahl	2008-10-30 17:40
Forum topic	On the (perceived) equivalence of static and dynamically typed reflective programming languages In my s/r, I can do the same by naasking I'm not so sure d/r can one by naasking Perhaps a coherent, if by naasking I wouldn't expect the by naasking I can buy the hypothesis by naasking I don't think either is more by naasking	Ran	2008-10-28 23:49
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	David Barbour	2008-10-23 00:21
Forum topic	Functional reactive programming in C# for WPF Really cool by naasking	Sean McDirmid	2008-10-21 12:08
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	program verification: the very idea Obviously any analysis is by naasking Engineering also focuses on by naasking While it's quite clear that by naasking	el-vadimo	2008-09-30 18:52
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