recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Story	[Redux] A Syntactic Approach to Type Soundness (1992) An important paper indeed by Josef Svenningsson In the future I will do so, by cdiggins Thanks. Important papers are by Ehud Lamm Done. by cdiggins If the papers were by Ehud Lamm	cdiggins	2006-12-08 14:52
Story	[Redux] The Polyadic pi-Calculus: a Tutorial (1991) Robin Milner Indeed by Allan McInnes Thanks by estrabd Meh... by gmol I am, of course, by Ehud Lamm Thinking in CSP by Luke Gorrie Interesting pi-calculus application by Allan McInnes CSP by Allan McInnes [Community] As another neutral bystander by Dave Lopez [Community] A neutral reading by Marc Hamann Fine. I will refrain from by cdiggins ...	cdiggins	2006-12-14 05:12
Forum topic	[Req. for Comments] Cat: A Typed Functional Stack-Based Language Definitely relevant! by cdiggins some comments by dbremner	cdiggins	2007-02-26 18:57
Forum topic	[RFC] Cat: A Typed Functional Stack Based Language I'm not sure imperative vs by Philippa Cowderoy Age of stack-based languages by cdiggins my comments by dbremner Quote is typed correctly by cdiggins The type of quote by Sjoerd Visscher	cdiggins	2007-02-03 20:46
Story	[Site] Network issues Network issues on Sunday by Anton van Straaten chewing on desk... by Zerny	Anton van Straaten	2005-12-11 09:00
Forum topic	¿How can a dynamically typed language not actively prevent static checking? I believe this qualifies as by naasking Not sure. by Keean Schupke No secret special ability. It's a NUMBER. by Ray Dillinger How about with a tracing jit by Josh Scholar casual vs technical 'specialize' meanings by Rys McCusker Parametric vs Universally Quantified. by Keean Schupke Linear algebra is a good example by Josh Scholar Non extensible by Keean Schupke Is that really specialization, from the programmer's POV? by Ray Dillinger Probably not coincidentally... by Ray Dillinger ...	raould	2016-03-31 23:06
first page previous page next page last page