Lambda the Ultimate

type	title	author	last post
Story	An Overview of the Singularity Project Dependability? by Peter Van Roy	Ehud Lamm	2007-10-12 19:45
Forum topic	Why people don't use functional programming? Popularity by Peter Van Roy	Gergely Buday	2007-06-09 16:40
Story	HOPL III and the History of Haskell Projects with a vision should interact only occasionally by Peter Van Roy The future of Oz by Peter Van Roy No Oz paper in HOPL III by Peter Van Roy	Chris Rathman	2007-05-28 07:16
Forum topic	Why do they program in C++? The Prolog version of Alan Perlis's quote by Peter Van Roy	David Waern	2007-02-19 12:09
Forum topic	OO Language Engineering for the Post-Java Era Where the power comes from by Peter Van Roy Whitehead quote by Peter Van Roy Adding dataflow and laziness to a language by Peter Van Roy	Isaac Gouy	2007-01-18 17:55
Forum topic	Survey of delay constructs in logic/constraint PLs? Delay constructs in Oz by Peter Van Roy	Andris Birkmanis	2007-01-02 13:49
Forum topic	Transparent Persistence What should a type signature tell you? by Peter Van Roy Lazy declarative concurrency by Peter Van Roy State is only bad if it contaminates everything by Peter Van Roy And Oz too by Peter Van Roy	playergiro	2006-12-20 17:31
Forum topic	Understanding continuations "trivial" is in the eye of the beholder by Peter Van Roy Fuzzy explanations lead only to confusion by Peter Van Roy A little bit of formalism goes a long way by Peter Van Roy Give the intuition, but don't sacrifice truth by Peter Van Roy Continuations and closures - definition in CTM by Peter Van Roy	Keith Devens	2006-12-06 23:43
Story	Future of software design? Stimulating discussion by Peter Van Roy Rationale by Peter Van Roy Convergence? by Peter Van Roy Understanding programming by Peter Van Roy Language and paradigm by Peter Van Roy Form and representation by Peter Van Roy	Peter Van Roy	2006-11-21 20:18
Story	SecPAL: Design and Semantics of a Decentralized Authorization Language SCOLLAR by Peter Van Roy	Ehud Lamm	2006-09-17 03:54
Forum topic	Network Transparent languages Correctness versus efficiency by Peter Van Roy Global versus local state by Peter Van Roy Network transparency can work if done wisely by Peter Van Roy	mansu	2006-08-08 19:10
Story	The right default: concurrent components with message passing	Peter Van Roy	2006-07-22 16:37
Forum topic	What are the real benefits of FP? Comparing FP and OO by Peter Van Roy	dataangel	2006-07-09 20:03
Forum topic	Sudoku Sudoku as homework problem in Oz by Peter Van Roy	Ehud Lamm	2006-07-01 14:45
Forum topic	The OO barrier Changing things by Peter Van Roy Integers are immutable in Smalltalk by Peter Van Roy Contamination by state by Peter Van Roy Definition of objects and ADTs by Peter Van Roy Objects and ADTs by Peter Van Roy Io language by Peter Van Roy Asynchronous higher-order dataflow programming by Peter Van Roy	snk_kid	2006-06-22 14:07
Forum topic	SuperGlue Scheduling constraints and computation spaces by Peter Van Roy Threads in computation spaces by Peter Van Roy	Sean McDirmid	2006-06-16 12:23
Forum topic	Buried Treasure - No Fluff Just Stuff The importance of static typing is exaggerated by Peter Van Roy	Isaac Gouy	2006-06-08 03:44
Story	Insights on teaching computer programming Semantics in the first year, etc. by Peter Van Roy Mathematics as a scaffold for lax teaching? by Peter Van Roy Don't needlessly mathematize computer programming by Peter Van Roy First year by Peter Van Roy Two stories by Peter Van Roy	Peter Van Roy	2006-06-04 14:34
Story	Continuations for Parallel Logic Programming Using logic to model control by Peter Van Roy	Andris Birkmanis	2006-06-03 20:05
Forum topic	yet another noob via "little lisper" and scheme Price of CTM by Peter Van Roy	danmcb	2006-06-01 09:58
Forum topic	The Problem With Threads Some clarifications by Peter Van Roy	Allan McInnes	2006-05-18 15:01
Story	Typed Concurrent Programming with Logic Variables The Operational Semantics of Oz by Peter Van Roy	Andris Birkmanis	2006-05-05 15:27
Forum topic	Purity in PLT Purity is useful but it should not be global by Peter Van Roy	Jim Apple	2006-04-08 10:56
Forum topic	Disruptive PLT, 4 years later Mozart releases, mailing lists, and roadmap by Peter Van Roy Oz as a disruptive technology and some reflections on the future by Peter Van Roy	Jim Apple	2006-04-03 20:11
Story	Uniform Proofs as a Foundation for Logic Programming Why logic programming is not more widespread by Peter Van Roy	Charles Stewart	2006-04-03 12:18
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