Lambda the Ultimate

type	title	author	last post
Forum topic	Advantages of pointfree? Optimization by equality by Peter A Jonsson	John Nowak	2023-02-19 16:24
Forum topic	System programming using FP Lazy evaluation in embedded systems. by Peter A Jonsson	Todd Coram	2020-11-27 13:54
Forum topic	A Functional Representation of Data Structures with a Hole (1998) I am not concerned with some by Peter A Jonsson The point he is trying to by Peter A Jonsson The direct argument made by by Peter A Jonsson Simple linear types by Peter A Jonsson Valid conclusion? by Peter A Jonsson	Vladimir Slepnev	2017-12-01 12:08
Forum topic	Conversion of 'functional' to 'imperative' algorithms: is it possible? Translating out of SSA by Peter A Jonsson	Achilleas Margaritis	2017-03-31 19:14
Forum topic	Type Inference in Object Oriented Languages O'Haskell might be a by Peter A Jonsson	Johan Tibell	2015-03-09 01:57
Forum topic	Who Needs Garbage Collection? Cyclic structures in pure call-by-value by Peter A Jonsson	Keean Schupke	2014-09-20 06:41
Story	Cost semantics for functional languages Call-by-need by Peter A Jonsson	gasche	2014-08-21 22:00
Forum topic	out of memory Gulwani's SPEED by Peter A Jonsson Application specific knowledge by Peter A Jonsson Resource Aware Type Systems by Peter A Jonsson	Rys McCusker	2014-08-17 09:54
Forum topic	A theory of data parallel computing The abstract reels me in by Peter A Jonsson Provide the reader with a map by Peter A Jonsson Target audience? by Peter A Jonsson Target audience? by Peter A Jonsson	Victor Eijkhout	2014-08-14 22:16
Forum topic	Testing first year programming students	Peter A Jonsson	2014-07-20 20:43
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
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