Lambda the Ultimate

type	title	author	last post
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
Forum topic	Security in FP Unclear question by shap	Carter Cheng	2008-11-22 21:19
Forum topic	A tutorial on implemeting type inference? Hmm. Let's give it a try. by shap	ellisk	2008-11-16 18:43
Forum topic	Adequate bootstrap for compiler with defmacro? This sounds like too much infrastructure by shap	Manuel J. Simoni	2008-11-08 17:53
Forum topic	Why do OOPLs type objects as classes? This may be relevant by shap	robmeyers	2008-10-30 22:37
Forum topic	Object Oriented Programming + Referential Transparency In case you're looking too by shap	mjstahl	2008-10-30 17:40
Forum topic	On the (perceived) equivalence of static and dynamically typed reflective programming languages Back to the original question by shap Perhaps we don't, but it by shap This is a case where the axioms lie by shap A couple of further minor points by shap I think this mis-states what static types do by shap	Ran	2008-10-28 23:49
Forum topic	Constructor classes That is missing by shap Still confused by shap Can you synopsize by shap	jdgallag	2008-10-27 04:00
Forum topic	Multiple Dispatch in Practice I think this is not quite true. by shap	Isaac Gouy	2008-10-25 15:28
Forum topic	Course on Interactive Computer Theorem Proving Based on Coq They are, but... by shap Umm. by shap This was needed by shap	Paul Snively	2008-10-23 11:10
Forum topic	To CPS or not to CPS As near as I can tell, the by shap	marco	2008-10-10 13:29
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