recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Story	Passing a Language through the Eye of a Needle I haven't read this, but I by Ehud Lamm	Allan McInnes	2011-05-19 08:05
Forum topic	The long tail of programming languages Ruby is there by James McCartney PostScript code for fractal drawing by Peter Van Roy The chart by buffbikedude Invisible Forth by Paul Snively I believe it by James Hague Re: Note to self by el-vadimo Bad Statistics and Silly Conclusions by xeo_at_thermopylae Interest in power law distribution by Allan McInnes Power Law Distribution by Marc Hamann Power Law comparisons? by shapr ...	Allan McInnes	2005-07-01 10:42
Story	Google Blockly Lets You Hack With No Keyboard Kismet by EddieEdwards Not Smalltalk, but... by Matt Hellige Funny coincidence, by Cyril Smalltalk legacy? by Tim May Higher sights by barrkel	Allan McInnes	2012-06-13 07:36
Story	Ï€: a pattern language A few differences by Allan McInnes How does this compare to Katahdin? by drinkinglizard You're right. After reading by Z-Bo unicode by Samuel Gelineau what? by Samuel Gelineau How does it relate to pattern calculus ? by Damien Guichard Paper now available by Allan McInnes looks like a weaker version of INRIA's Tom for Java by Z-Bo Paper? by Andrew Moss	Allan McInnes	2009-11-03 21:49
Story	Engineering Formal Metatheory Convergence by Paul Snively Nominal Isabelle by Teme Yep by Paul Snively	Allan McInnes	2008-01-12 23:43
Story	Abstract interpreters for free Slightly updated version by Peter A Jonsson Possibly related by Jules Jacobs	Allan McInnes	2010-09-01 18:54
Story	A few billion lines of code later: using static analysis to find bugs in the real world nt by Sam Tobin-Hochstadt PetraVM has a tool called by ltumdw45 Just use Ada. by Ehud Lamm can assume garbage collection by e 2 cents by Ehud Lamm different take by raould Some rambling thoughts (no guarantee of quality) by Andrew Moss I'm not that pessimistic by thomash I'm definitely taking this by lmeyerov One of which... by Paul Snively ...	Allan McInnes	2010-04-23 11:28
Story	Branching Time vs. Linear Time: Semantical Perspective Our follow-up paper by sumitnain Updated paper by Allan McInnes Direct link by Anton van Straaten Response by Robin Milner by vardi IO automata vs CSP by marco Different choices (for models and modelers) by Allan McInnes Enabledness by marco Re: Buy Lynch? by Martin Berger Re: The meaning of equivalence by Martin Berger Receptive by Allan McInnes ...	Allan McInnes	2009-10-02 06:02
Story	Safely Composable Type-Specific Languages "shell" and "file" literals using SRFI 108 by Per Bothner SRFI 108 by johnwcowan Embedded Literal Objects by dmbarbour	Allan McInnes	2014-08-13 18:09
Story	Determinism Is Not Enough: Making Parallel Programs Reliable with Stable Multithreading Computation these days means concurrent computation by Hewitt Yes, that post is a nice by dmbarbour Nondeterministic state machines cannot implement concurrency by Hewitt Informally, concurrent by dmbarbour How can (concurrent) computation be rigorously defined? by Hewitt Erlang/OTP is inadequate with respect to hardware failures by Hewitt But the actor model. by dmbarbour I would think you & possibly by J Muhammad Houshyar Which of the principles of Actors are satisfied by Erlang/OTP? by Hewitt That wasn't the question by J Muhammad Houshyar ...	Allan McInnes	2014-03-05 19:33
first page previous page next page last page