Lambda the Ultimate

type	title	author	last post
Forum topic	Commutative Effects Speadsheat languages by Peter A Jonsson	Sean McDirmid	2013-08-29 02:13
Forum topic	An attempted approach to type inference with subtyping Inferred type of twice by Peter A Jonsson	Eli Sennesh	2013-07-23 21:22
Forum topic	mobile web apps are slow -- and GC is to blame Hume by Peter A Jonsson Hume by Peter A Jonsson	Christian Lindig	2013-07-18 22:05
Story	Equality Saturation: A New Approach to Optimization Nice! by Peter A Jonsson	neelk	2012-11-28 20:26
Story	What needs to be done? No real gain? by Peter A Jonsson	Ehud Lamm	2011-11-07 05:29
Story	One Pass Real-Time Generational Mark-Sweep Garbage Collection ..benefit in any language by Peter A Jonsson I'd like to echo Chad by Peter A Jonsson	James Iry	2011-05-18 23:10
Forum topic	In search of inspiration Very cool! by Peter A Jonsson	Tim van Deurzen	2011-05-16 12:17
Forum topic	Strict data constructors + non-strict application? If your optimizer can detect by Peter A Jonsson Full-beta reduction is by Peter A Jonsson Beta-reduction by Peter A Jonsson	Neil Toronto	2011-03-16 15:55
Forum topic	The AST Typing Problem Avoiding non-termination by Peter A Jonsson Typed IR by Peter A Jonsson	shap	2011-01-19 03:15
Forum topic	Prototyping a new language with Haskell Bolting on type systems by Peter A Jonsson	bryanedds	2011-01-18 03:43
Story	Parametric Prediction of Heap Memory Requirements A few pointers by Peter A Jonsson	naasking	2011-01-16 14:45
Story	Good Ideas, Through the Looking Glass Virtual memory/Swap by Peter A Jonsson	Ehud Lamm	2011-01-15 17:04
Forum topic	Design Principles Behind Smalltalk Purity does not require lazy evaluation by Peter A Jonsson	el-vadimo	2010-11-09 17:15
Story	Abstract interpreters for free Slightly updated version by Peter A Jonsson	Allan McInnes	2010-09-01 18:54
Forum topic	Mutable objects with monadic methods I'm not sure I understand by Peter A Jonsson	giuseppemag	2010-02-15 01:12
Forum topic	The Next Mainstream Programming Languages Incomprihensible error messages by Peter A Jonsson Type inference and scaling. by Peter A Jonsson	Per Vognsen	2010-01-24 13:32
Forum topic	Chunked sequences: Lookahead laziness Detecting non-termination by Peter A Jonsson	L Spice	2009-12-21 23:21
Story	John Hughes on Erlang and Haskell Performance by Peter A Jonsson	James Iry	2009-12-02 10:16
Story	Patrick Logan on Software Transaction Memory GC by Peter A Jonsson	Ehud Lamm	2009-10-26 21:48
Story	The End of the GPU Roadmap Examples of recursive programming techniques by Peter A Jonsson	Noel	2009-10-23 10:03
Forum topic	What do you believe about Programming Languages (that you can't prove (yet))? Supercompilers LLC by Peter A Jonsson Book about PE. by Peter A Jonsson	John Carter	2009-05-23 23:23
Story	Twilight of the GPU Real-Time GC by Peter A Jonsson	Noel	2009-02-06 16:44
Forum topic	Monads = lazy, effect types = strict? Monads in strict languages by Peter A Jonsson	dpmulligan	2009-01-13 02:20
Forum topic	Practicality of Exclusively Compiler-Driven Unboxing Program specialization by Peter A Jonsson	shap	2008-12-16 13:48
Forum topic	Object Oriented Programming + Referential Transparency Purely Functional Languages by Peter A Jonsson	mjstahl	2008-10-30 17:40
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