Lambda the Ultimate

type	title	author	last post
Forum topic	Dao, the official 1.0 version is released It's inductive. by shap	Limin Fu	2009-03-08 18:32
Story	A Machine-Checked Model for a Java-Like Language, Virtual Machine, and Compiler See also by shap	Allan McInnes	2009-02-16 15:44
Forum topic	Looking for papers describing advanced language topics in terms of C programming Intuition, not mechanism by shap	derekp	2009-02-12 06:39
Forum topic	How best to add a record type to my typed Scheme variant? My question wasn't so much by shap Why not BitC? by shap	Sam Rushing	2009-02-06 21:00
Story	Twilight of the GPU Fair enough... by shap Balderdash by shap	Noel	2009-02-06 16:44
Forum topic	Tagged Arithmetic Optimization LtU isn't really the place by shap	naasking	2009-02-04 22:32
Forum topic	Graduate Programs in Programming Language Design/Research/Implementation? If you send email by shap	shubhamharnal	2009-01-30 18:05
Forum topic	Explaining monads Get serious. by shap	Ehud Lamm	2009-01-30 11:43
Forum topic	The Origins of the BitC Programming Language Your such a tease, Paul. by shap Quick responses by shap Some loose litmus tests by shap Not the right venue by shap This seems unlikely by shap Partial answer on bitc-dev by shap The Coyotos kernel has been by shap What David describes as by shap This would assume as a by shap Only because a hack is by shap ...	Isaac Gouy	2009-01-30 00:38
Story	2008 In Review - What Happened with Programming Languages? Actually, the current by shap Something very close to that by shap Copying collectors are not by shap I think he meant that he by shap	James Iry	2009-01-28 12:15
Forum topic	Non-standard type theories for FP Then my suggestion is... by shap Non-meaningful is not Harmful by shap	marco	2009-01-25 03:59
Forum topic	Question concerning parameterization over literals Both of those pointers are by shap So are there pointers? by shap That will be interesting to see... by shap Many counterexamples by shap	shap	2009-01-23 19:27
Forum topic	Specifying semantics and type rules Concerning the ML definition by shap	shap	2009-01-23 13:25
Forum topic	Macro systems That seems too strong by shap	cdiggins	2009-01-22 17:50
Forum topic	Nested functions - how many nesting levels are really needed? C++ has it in disguise, in by shap Concur: naive implementation by shap	strog	2009-01-22 12:00
Forum topic	Weird computability problem relating to state + lambda calculus Conservatively decidable by shap	ellisk	2009-01-17 14:17
Forum topic	Fundamental Flaws in Current Programming Language Type Systems More a runtime issue by shap For me, this is all rather by shap Ah. I see. Some of this can by shap BitC will work, I agree. by shap Not quite. I meant the by shap There is indirect data on this by shap And if I recall correctly, by shap Various responses by shap Umm. No. The point might be by shap I'm pointing out that one by shap ...	Bruce Rennie	2009-01-16 16:42
Forum topic	Specifying Solver Behavior?	shap	2009-01-11 20:34
Forum topic	"Determinism" of types? Actually this is not always true by shap	ellisk	2009-01-06 17:36
Story	Programmable Concurrency in a Pure and Lazy Language Evaluation is disappointing by shap	James Iry	2008-12-31 23:41
Forum topic	Shoot-out: most annoying compiler error message Type Error by shap	marco	2008-12-21 21:45
Forum topic	Practicality of Exclusively Compiler-Driven Unboxing This is a very interesting by shap Do you know how to obviate by shap We're talking past each other again. by shap Some clarification by shap	shap	2008-12-16 13:48
Forum topic	How to load/interpret STATIC libraries at runtime. It would be welcome there... by shap Links please? by shap	frencheneesz	2008-12-12 18:39
Forum topic	Remembering everything - a new(?) idea for a new PL Time Warp Operating System by shap	pureza	2008-12-02 17:19
Forum topic	Subtyping + overloading This isn't necessary by shap It's simple, really by shap This isn't subtyping by shap	Alex Rubinsteyn	2008-11-24 20:24
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