Lambda the Ultimate

type	title	author	last post
Forum topic	Non-English-Based Programming Languages Prolog and Planner, Life and Oz by Peter Van Roy	Peter J. Wasilko	2011-07-05 14:16
Story	Announcing Ozma: extending Scala with Oz concurrency	Peter Van Roy	2011-06-27 12:23
Story	Patterns in Functional Programming And what about concurrency? by Peter Van Roy	Ehud Lamm	2011-05-18 11:43
Story	Getting Started Formal techniques in CTM by Peter Van Roy	Ehud Lamm	2011-03-16 17:43
Story	The Art of the Propagator Constraint Propagation: Models, Techniques, Implementation by Peter Van Roy Where is the constraint community? by Peter Van Roy	neelk	2010-10-25 06:59
Forum topic	What is the best system for experimenting with and visualizing complex algorithms?	Peter Van Roy	2010-10-01 04:20
Story	Why Undergraduates Should Learn the Principles of Programming Languages A minor success by Peter Van Roy	Z-Bo	2010-07-15 09:08
Forum topic	Questions about Semantics. I should also point again to by Peter Van Roy However, it's long been recog by Peter Van Roy	Matt Estes	2010-07-15 05:47
Story	A Brief, Incomplete ... History of Programming Languages Objects all the way down by Peter Van Roy	Anton van Straaten	2010-06-17 05:37
Forum topic	plt vs. something else for programming in the large? Laws of software – they do exist by Peter Van Roy Is P=NP? by Peter Van Roy	raould	2010-06-17 01:07
Forum topic	Combinators for contracts Ten years for security by Peter Van Roy Next mainstream language by Peter Van Roy "Smart Contracts" by Peter Van Roy	Charles Stewart	2010-04-16 14:45
Forum topic	Will data-intensive computing revolutionize programming languages? 1970s languages for the 2010s? by Peter Van Roy	Peter Van Roy	2010-03-30 16:54
Story	Richard Hamming - "You and Your Research" Big thoughts and project proposals by Peter Van Roy Hamming wrote a book on this topic by Peter Van Roy	shapr	2010-03-19 20:20
Forum topic	large-scale programming systems inspired by ecological and market systems Building large-scale robust systems by Peter Van Roy	Ray Dillinger	2010-03-07 07:13
Forum topic	Rapid Prototyping tools & environments from academia Reference for TRIZ by Peter Van Roy Don't make trade-offs, solve the problem instead by Peter Van Roy	Z-Bo	2010-02-09 23:45
Forum topic	Oracles Read-only variables in Oz by Peter Van Roy	Jack Waugh	2010-02-03 18:31
Forum topic	Simplicity The Great Game? by Peter Van Roy	John Carter	2009-08-05 21:58
Story	Computer music: a bastion of interactive visual dataflow languages Max position conventions by Peter Van Roy Ptolemy II misrepresentation of Esterel model? by Peter Van Roy Max/MSP does not enforce determinism by Peter Van Roy Dataflow is just one paradigm by Peter Van Roy What is a general tool? by Peter Van Roy	Peter Van Roy	2009-06-19 03:30
Story	Questions Five Ways Direction of layers by Peter Van Roy Extensions to the kernel language by Peter Van Roy New PLT goodness by Peter Van Roy	Ehud Lamm	2009-06-02 20:24
Forum topic	What do you believe about Programming Languages (that you can't prove (yet))? Definitive languages by Peter Van Roy	John Carter	2009-05-23 23:23
Forum topic	Seeking succnict thoughts on pros/cons of hl language styles Pros and cons in CTM by Peter Van Roy	raould	2009-04-01 17:35
Story	C++ Futures Minor comment on waiting for multiple futures by Peter Van Roy	Chris Rathman	2009-03-19 15:25
Forum topic	RFC on an online book Don't forget concurrency! by Peter Van Roy	billhails	2008-12-09 20:43
Story	Functional building blocks as concurrency patterns Message passing and race conditions by Peter Van Roy CTM draft for free by Peter Van Roy Race conditions between actors by Peter Van Roy Does Kamaelia have a declarative concurrent subset? by Peter Van Roy Implementing the multi-agent dataflow paradigm efficiently by Peter Van Roy	Peter Van Roy	2008-12-05 15:58
Forum topic	Irresistible programs A more cryptic example: contract net protocol by Peter Van Roy Concurrent agent using dataflow and fold by Peter Van Roy	Ehud Lamm	2008-12-03 21:21
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