Lambda the Ultimate

type	title	author	last post
Story	Almost everything happened in the Golden Age, right? Another good idea by Peter Van Roy	Peter Van Roy	2008-07-28 19:24
Forum topic	Functional Programming in the ACM CS Curriculum Transparent single assignment by Peter Van Roy Occam and Erlang by Peter Van Roy Smalltalk and C++ by Peter Van Roy Laziness and dataflow by Peter Van Roy Importance of dataflow variables by Peter Van Roy The real reason: FP is the foundation for all other paradigms by Peter Van Roy Ghent University at our antipode by Peter Van Roy	mwand	2008-07-19 22:42
Story	Why Multi-Core is Easy and Internet is Hard New versions of CTM by Peter Van Roy Kinds of dataflow by Peter Van Roy Aloof gurus by Peter Van Roy Monotonic dataflow (deterministic concurrency) by Peter Van Roy Impossibility results in distributed computing by Peter Van Roy Making a bigger distinction by Peter Van Roy Dataflow programming by Peter Van Roy REST? by Peter Van Roy	Peter Van Roy	2008-07-03 06:55
Forum topic	Writing a new language - ideas? Handling network failures by Peter Van Roy Writing short code by Peter Van Roy Guidelines for language design by Peter Van Roy	windozer	2008-06-24 16:47
Forum topic	Excel as a different programming paradigm Excel's cells are streams by Peter Van Roy Excel's execution model by Peter Van Roy Excel's programming paradigm by Peter Van Roy	raould	2008-03-29 20:14
Forum topic	Confused Deputies in Programming Languages Invisibility + reasoning: it's possible to have both by Peter Van Roy How can effects be both invisible and visible? by Peter Van Roy State and modularity (again) by Peter Van Roy RT is not an unqualified good by Peter Van Roy No overstatement by Peter Van Roy Denotational semantics? by Peter Van Roy Capability = designation + authority by Peter Van Roy Monads can not implement true mutable state by Peter Van Roy RT is sufficient for capability security? by Peter Van Roy Capability security and referential transparency by Peter Van Roy	naasking	2008-03-18 02:47
Forum topic	"Practical" advantages of lazy evaluation Kernel language for Map by Peter Van Roy Tail-recursive map and declarative agents by Peter Van Roy Lazy quicksort example: using laziness to invent new algorithms by Peter Van Roy	chinu	2008-03-11 11:16
Forum topic	Introduction to Concurrent Programming with Stackless Python Questions on FRP by Peter Van Roy	shahbaz	2008-02-21 22:39
Forum topic	Learning Programming with Erlang Multi-agent programming in a first course by Peter Van Roy	Isaac Gouy	2007-10-19 13:45
Forum topic	Computing is a Natural Science Science and engineering by Peter Van Roy Informatics by Peter Van Roy Computing is not the same as mathematics by Peter Van Roy Please explain by Peter Van Roy Are we a simulation? by Peter Van Roy Programming with feedback loops by Peter Van Roy Computing is the vanguard of systems science by Peter Van Roy More books on computing as natural science by Peter Van Roy	Hank Thediek	2007-10-15 20:49
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
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