Lambda the Ultimate

type	title	author	last post
Forum topic	Embedding Prolog in Haskell I'm not sure if that's what by pkhuong I think that's an by pkhuong	Frank Atanassow	2012-02-11 08:39
Story	Diagram showing all programming paradigms and their relationships Tail call optimisation is too easily forgotten by pkhuong	Peter Van Roy	2012-01-13 17:06
Forum topic	Register Allocation By Model Transformer Semantics -- need for early comments Minimiz[ing] the traffic between registers and memory by pkhuong	yinwang0	2012-01-09 02:49
Forum topic	"We Really Don't Know How to Compute!" by Gerald Sussman if you had pattern matching by pkhuong	puredanger	2011-11-19 23:37
Forum topic	Implementor's guide/tutorial to delimited continuations? I find that unlikely; that by pkhuong Are delimited continuations by pkhuong	Manuel J. Simoni	2011-08-02 18:56
Forum topic	Why is tail call optimization an issue in GC'd languages? I find this question by pkhuong Activation records are often by pkhuong	Sriram Srinivasan	2011-08-02 09:20
Story	Type-checking Modular Multiple Dispatch with Parametric Polymorphism and Multiple Inheritance It's simpler to claim high by pkhuong	Manuel J. Simoni	2011-05-07 00:00
Forum topic	Algebra of Programming Proving the equivalence of by pkhuong	Carter Cheng	2011-04-12 10:15
Story	Finding and Understanding Bugs in C Compilers In contrast with the by pkhuong	James Iry	2011-04-02 07:31
Story	Azul's Pauseless Garbage Collector We have hardware (real) by pkhuong	James Iry	2011-01-03 11:36
Forum topic	yacc death revisited Of course it is. You just by pkhuong I did mean an arbitrarily by pkhuong It is a lazy, memoizing or by pkhuong IIRC, CFG parsing (for a by pkhuong	Thomas Lord	2010-12-21 06:06
Forum topic	Reference Counting vs Tracing Garbage Collection? Particularly in a by pkhuong	marco	2010-12-10 22:27
Forum topic	Closures without function pointers I've been assuming that, by pkhuong However, you do have a known by pkhuong	Alex Rubinsteyn	2010-11-17 21:12
Forum topic	The barrier to take-up of language innovation Other canonical properties by pkhuong Not all, only enough to by pkhuong Using types to prove by pkhuong	ad1mt	2010-11-06 03:26
Forum topic	GADTs in a dynamically type-checked language? You're right that it by pkhuong	Manuel J. Simoni	2010-09-16 18:43
Forum topic	Unifying Actors and Objects? You seem to have described by pkhuong	Shrutarshi Basu	2010-09-15 01:04
Story	The Future of C# It's a basic calculus term. by pkhuong	Manuel J. Simoni	2010-07-29 21:28
Forum topic	The Rust Language If you're referring to cache by pkhuong	Noel	2010-07-27 23:17
Story	Code Quarterly - The Hackademic Journal I have access to ACM and by pkhuong	Ehud Lamm	2010-05-10 20:44
Forum topic	Linear & Dependent types of ATS applied to the Cairo graphics library We're talking about an by pkhuong	raould	2010-05-04 07:37
Forum topic	determining subsumption of regular languages Right, it's probably by pkhuong PSPACE-complete, I believe by pkhuong	andrew johnson	2010-03-18 16:28
Forum topic	Constraint Programming Local Search and Numerical Optimization First, I'll state that I by pkhuong Sounds like you want COMET by pkhuong	marshallp	2010-02-17 16:04
Forum topic	NaNs and reflexivity You simply need multiple by pkhuong	Bertrand_Meyer	2010-02-16 14:50
Story	Functional Programming Has Reached The Masses; It's Called Visual Basic FRP by pkhuong	Erik Meijer	2009-11-01 20:12
Forum topic	Programming (language) puzzles Converting self-tail calls to loops :) by pkhuong	Chung-chieh Shan	2009-10-02 17:42
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