Lambda the Ultimate

type	title	author	last post
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
Forum topic	Lazy Graph Reduction and abstract machines Not so tagless. by Peter A Jonsson	Sean Gillespie	2008-10-02 16:00
Forum topic	Let's make a programming language! Many languages have by Peter A Jonsson	Achilleas Margaritis	2008-09-12 09:21
Story	Catch me if you can: Towards type-safe, hierarchical, lightweight, polymorphic and efficient error management in OCaml There is atleast one more by Peter A Jonsson	naasking	2008-08-24 15:36
Forum topic	Dodo Huh? by Peter A Jonsson	Denis Bredelet -jido	2008-07-20 16:36
Story	Lightweight Fusion by Fixed Point Promotion Call-by-value by Peter A Jonsson	neelk	2008-06-16 22:26
Forum topic	Higher-Order Programming without Closures? Implementation techniques for first-class functions? by Peter A Jonsson	naasking	2008-04-27 01:18
Forum topic	"Practical" advantages of lazy evaluation Deforesting strict languages by Peter A Jonsson	chinu	2008-03-11 11:16
Forum topic	time as a first class value? Timed pi calculus by Peter A Jonsson	shahbaz	2008-02-20 01:48
Forum topic	FPGA CPUs Reduceron by Peter A Jonsson	erich	2007-10-04 19:50
Forum topic	Extending HM type inference -- would this be possible? Or even desirable? Totality Checker for Haskell by Peter A Jonsson	Ingo Wechsung	2007-09-16 13:28
Forum topic	Whoever does not understand LISP, is doomed to reinvent it. My claim was that research by Peter A Jonsson Erlang's history and design choices by Peter A Jonsson	kaveh.shahbazian	2007-07-22 19:46
Forum topic	Why people don't use functional programming? This is definitely not my by Peter A Jonsson Data Parallel Haskell and by Peter A Jonsson Mapreduce - revisited. by Peter A Jonsson Commercial Users of Functional Programming by Peter A Jonsson	Gergely Buday	2007-06-09 16:40
Forum topic	Functional Object-Oriented Programming Previous threads. by Peter A Jonsson	Jason Dusek	2007-05-06 19:32
Forum topic	Actors vs. Reactive Objects Bounded Buffers by Peter A Jonsson	Oliver Mooney	2007-04-23 15:20
Story	Lightweight static resources Timber by Peter A Jonsson	Ehud Lamm	2007-03-15 07:27
Forum topic	A Complete, Co-Inductive Syntactic Theory of Sequential Control and State.	Peter A Jonsson	2007-02-07 10:09
Story	The Future of LtU The focus is on pure by Peter A Jonsson Adoption of FP. by Peter A Jonsson	Ehud Lamm	2006-12-26 02:37
Forum topic	How to write a Programming Language Paper? Simon Peyton Jones has some by Peter A Jonsson	cdiggins	2006-12-05 09:21
Forum topic	Overloading : Why do some languages leave it out? Book in print by Peter A Jonsson	cdiggins	2006-08-08 21:28
Forum topic	Formal verification of a C-Compiler frontend.	Peter A Jonsson	2006-06-13 21:03
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