Lambda the Ultimate

type	title	author	last post
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
Forum topic	Help with Mixfix in Bison? Not quite... by shap Representation matters by shap Every convenience syntax by shap An attempt at a response by shap I understand, and coming by shap Can you articulate what by shap Probably not by shap Thanks, Philippa, I'll look by shap My impression is that this by shap Quite the contrary by shap	shap	2008-10-09 16:00
Story	MISRA C++:2008 Regarding MISRA by shap	Chris Rathman	2008-10-01 22:19
Forum topic	Can function pointers be "fixed" Confusing function pointers and function labels by shap	disnesquick	2008-09-30 20:55
Forum topic	Help with N-Ary functions? Subtyping? by shap Thanks. That is very by shap Nasty issue by shap This is the heart of the question at hand. by shap Pair consing is not list consing by shap Thanks by shap	shap	2008-09-30 11:13
Forum topic	Typing a function which includes its axioms? Related LTU discussion by shap	Bryan Turner	2008-09-17 22:35
Forum topic	Let's make a programming language! This suggests a paper by shap	Achilleas Margaritis	2008-09-12 09:21
Forum topic	Sound and Complete Type Inference in BitC I have asked Swaroop to respond, but... by shap Partial responses... by shap	shap	2008-09-09 18:29
Forum topic	Can Lambda do things like arrays and matrixs? If so how? This is a somewhat malformed question by shap	happycow	2008-09-09 16:15
Forum topic	What makes backreferences impossible in a DFA regular expressions evaluator? The fact that it "performs by shap	Brandon Niemczyk	2008-09-04 11:52
Forum topic	output language for new statically typed language? Modules are deep structure by shap When we started... by shap Go to LLVM IR by shap	AtariFan	2008-08-29 17:20
Forum topic	Haskell for AI? Indeed. Consider the by shap Common origins by shap	solamim	2008-08-27 08:46
Forum topic	Is null needed? Except that they aren't the same.. by shap Misses the point. by shap Quick responses by shap Abandonment was planned from day zero by shap Interesting hypothesis by shap Optimizations and constant factors by shap Why completely useless. by shap No, there aren't. by shap Not a requirement by shap	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