recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Forum topic	Clojure Really? by Rich Hickey Tail recursion in OpenQuark by Davor Cubranic No TCO in Clojure by Rich Hickey Nice by James Iry Clojure does support mutual recursion by Rich Hickey Limited TCO? by James Iry TCO & security by Anton van Straaten Java Closures by Chris Rathman Oops, thanks by James Iry Java 7 - not so fast by puredanger ...	raould	2007-12-04 13:55
Forum topic	Parsimony Principles for Software Components and Metalanguages	Bryan O Sullivan	2007-12-03 06:21
Forum topic	On the Importance of Purity Well where does the state of the universe variable come from? by Peter Russell In pseudo-OCaml: by naasking cough by Philippa Cowderoy His point is that Haskell is by naasking By Definition by Brandon Moore A concrete example of refactoring by James Iry global vs local reasoning by James Iry Argumentum ad contradictio by Philippa Cowderoy Uniqueness types by Anton van Straaten Demonstration by Example by Paul Snively ...	naasking	2007-12-02 14:53
Forum topic	What have I created? No specific ordering of by barsoap Not sure by Matt Hellige Deriving an answer by Anton van Straaten Might be of interest by Marc Hamann	James W Hofmann	2007-12-02 13:04
Story	Project Oberon The "protection mechanism" by Ben Smith-Mannschott The Right Abstractions by raould Re: Bluebottle by Andreas Wuest Bluebottle by fadrian Simplicity was the goal by ianrae Re: But the Oberon system is quite primitive. by Andreas Wuest By which you mean "modern PC by Philippa Cowderoy Maybe it is... by Ulrich Hobelmann But the Oberon system is quite primitive. by Achilleas Margaritis	Luke Gorrie	2007-11-29 12:49
Forum topic	Derivation trees for lambda-calculus AST with types by ilSignorCarlo Equivalent up to alpha conversion by Anton van Straaten Tim by Derek Elkins Trees, types, and predictions by Anton van Straaten Abstract syntax tree by Tim Sweeney	ilSignorCarlo	2007-11-28 22:03
Forum topic	A survey and discussion of taming effects But it's not the only use of by naasking I'm Not Positive... by Paul Snively "We donâ€™t need no stinking modules!" by dbfaken with a rich enough type by naasking The Monad Laws by Paul Snively Call-by-value given, what about call-by-name? by naasking Systems programming by Luke Gorrie Filinski's dissertation by Frank Atanassow Full and faithful embedding by Marc Hamann What's the point of effect systems? by naasking ...	naasking	2007-11-28 19:24
Story	OCaml Light: A Formal Semantics For a Substantial Subset of the Objective Caml Language Hello, Peter! by Paul Snively due to Scott Owens by Peter Sewell	Paul Snively	2007-11-28 18:52
Story	A functional correspondence between evaluators and abstract machines Interesting links! I'll by naasking It's wired in by Derek Elkins I found the derivation of a by naasking A reference of the relevant papers by Derek Elkins Right by Andris Birkmanis I mentioned it a long time by Derek Elkins	Andris Birkmanis	2007-11-28 01:02
Story	Samurai - Protecting Critical Data in Unsafe Languages C++ and abstraction by Mathias Gaunard Agreed by Paul Snively Mea Culpa by Ehud Lamm Gallows humour by Marc Hamann _ by oldaccount Don't save the tarbaby by Anton van Straaten OT: Eternal September by Chris Rathman One-Liners and Attitudes by Paul Snively To put it another way... by Derek Elkins I wouldn't call it a bug... by Scott Johnson ...	Ehud Lamm	2007-11-27 16:54
first page previous page next page last page