Lambda the Ultimate

type	title	author	last post
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
Story	Don Box: Teaching my kids to program What about robots? by pkhuong	Ehud Lamm	2009-02-27 00:12
Forum topic	Object Oriented Programming + Referential Transparency If you have GC, copying the by pkhuong Functional -> "updates" are not shared by pkhuong	mjstahl	2008-10-30 17:40
Forum topic	Towards Hard Real-Time Erlang You don't necessarily need by pkhuong	James Iry	2008-08-28 17:28
Forum topic	Preemptive concurrency via compiler-inserted checks Isn't that basically the by pkhuong	naasking	2008-06-16 03:59
Forum topic	erlang green threads and the CLR While this is definitely by pkhuong While branch predictors are by pkhuong 1. Indirection really isn't by pkhuong	addmoreice	2008-06-11 15:21
Forum topic	Is Halting Problem Valid for P? It sounds like the OP meant by pkhuong	ajgargand	2008-05-04 23:24
Forum topic	Lisp Lovers, how would you fix Lisp or bring it up to date? Check, check, check ... :) by pkhuong Real Soon Now. by pkhuong	Ben Atkin	2008-04-29 03:20
Forum topic	Language Oriented Programming Not that the reply is anything stellar by pkhuong	drc	2008-02-07 05:42
Forum topic	functions, statements, expressions What kind of design decision? by pkhuong	Jason Dusek	2007-12-25 10:52
Story	Ralph Johnson: Erlang, the next Java "A Case for the Unified Heap by pkhuong	Ehud Lamm	2007-08-12 15:45
Forum topic	Carnap Programming Language Asynchronous messaging by pkhuong	dorait	2007-06-26 17:15
Forum topic	function overriding workaround in dynamically typed languages No JIT by pkhuong (This is getting a bit OT. http://www.quicktopic.com/ ?) by pkhuong More mispredicts... by pkhuong Cheap polymorphic inline caches by pkhuong	chinu	2007-05-30 21:39
Forum topic	Near-Concrete Program Interpretation Link by pkhuong	naasking	2007-05-30 13:49
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