Lambda the Ultimate

type	title	author	last post
Forum topic	Non-standard type theories for FP I think I already got it to work by marco Argument by Pierce? by marco I didn't really answer to your remarks. by marco It's just a silly observation. A metafor and maybe a solution? by marco Back to the original question - and let's drop it by marco I just realized that by marco Ha! by marco So was I, at a lost island ;-) by marco I know by marco Unsure by marco ...	marco	2008-12-02 00:50
Forum topic	Shoot-out: most annoying compiler error message Error messages which make you go umph! by marco	marco	2008-12-01 22:18
Story	Fω^C: a symmetrically classical variant of System Fω Yeah, but what is the result? by marco	Charles Stewart	2008-12-01 14:20
Forum topic	Subtyping + overloading Semantics by marco Great book, where's my towel ;-) by marco Too much machinery by marco Yeah well, we were talking intuition by marco Look at the options by marco Brain Damage by marco You're right - we're going way OT by marco Hmmm by marco Ok by marco Ok by marco ...	Alex Rubinsteyn	2008-11-24 20:24
Forum topic	Total functional language self interpreter? Question by marco Bull by marco Misread your post by marco Nitpicking your statements by marco ... (and ...) by marco Uh, proof by contradiction by marco Nono by marco Doubt it by marco Problems reading his post by marco	jason stumpf	2008-11-24 15:43
Forum topic	Security in FP Ask Oleg by marco	Carter Cheng	2008-11-22 21:19
Forum topic	Current "hot" topics in parallel programming? Moveable code, multi-core by marco	Michael Lesniak	2008-11-21 09:00
Forum topic	The Origins of the BitC Programming Language The implementation for by marco	Isaac Gouy	2008-11-20 13:48
Story	SEP entry on Combinatory Logic Small stuff by marco	Ehud Lamm	2008-11-19 19:27
Forum topic	Implementations of untyped lazy lambda calculus Sorry, I forgot by marco Uh by marco	Darren Smith	2008-11-14 19:44
Forum topic	New Programming Language Idea Yeah by marco Me bad by marco Even selecting a function... by marco Planning? Constraint Propagation by marco Nope by marco Impossible by marco BDDs by marco	Lee Chou	2008-11-06 19:27
Story	BEE3: Putting the Buzz Back into Computer Architecture Elaborate by marco	Luke Gorrie	2008-10-30 17:47
Forum topic	Object Oriented Programming + Referential Transparency True, but ... by marco	mjstahl	2008-10-30 17:40
Forum topic	Constructor classes Hmm by marco As far as I understand it by marco	jdgallag	2008-10-27 04:00
Forum topic	Multiple Dispatch in Practice A perfect moment of clarity? by marco	Isaac Gouy	2008-10-25 15:28
Forum topic	Choice of OS of LtU readers	marco	2008-10-21 11:00
Forum topic	To CPS or not to CPS *Cough* - output when evaluating the AST directly by marco End Result - slow, or damned slow by marco Reflections by marco Read it by marco Talking to myself. It's a bloody good idea by marco And also by marco Got it by marco Going for it. by marco Extra example for fac by marco What about this solution? Reverse Polish Notation. PLEASE SHOOT! by marco ...	marco	2008-10-10 13:29
Forum topic	DSL or dialects used inside compilers Gimple/Generic by marco	Basile STARYNKEVITCH	2008-10-10 09:33
Forum topic	Clojure talk videos Yeah by marco Pure stuff by marco Ah by marco No by marco	claudio	2008-10-09 15:57
Forum topic	10 Years of Purely Functional Data Structures Flattening Combinators: Surviving Without Parentheses by marco The Fall and Rise of FP by marco	Chris Okasaki	2008-10-08 17:09
Forum topic	Publishing negative results: single-assignment Lisp Lock Free Garbage Collection by marco Well... by marco Seems good by marco Cool by marco	John Stracke	2008-10-07 14:08
Forum topic	Lazy Graph Reduction and abstract machines 6 Secret Rules by marco To answer your question by marco	Sean Gillespie	2008-10-02 16:00
Story	Simon Peyton Jones Interview No provocation intended by marco Exsqueeze me??? by marco The succes of Haskell by marco Paper by marco	Chris Rathman	2008-10-01 19:42
Forum topic	Help with N-Ary functions? Do not understand... by marco Value Restriction - don't look at it. by marco	shap	2008-09-30 11:13
Forum topic	Narrowing field of languages? Less posts since... by marco Can you provide your data? by marco	Wendell	2008-09-27 13:59
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