recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
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
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	[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
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
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
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
Forum topic	[Newbie] Where can I learn about VM / C interfacing? two more by tom_seddon Neko FFI by Nicolas Cannasse And libffi, as well by kenhirsch See also the FFCALL libraries by kenhirsch Thanks everyone by Ravi Mohan Haskell FFI by Qrczak Take a look at Lua-ML by Christian Lindig Examples by hammer Some Publications by Noel Thanks for the suggestion. But by Ravi Mohan ...	Ravi Mohan	2006-01-02 14:51
Forum topic	[Meta] Bad Usability Problems in LtU Subjective by Allan McInnes Why #5 is bad. by shlomif Not "bad", but "could be better" by Doug Landauer	shlomif	2007-05-20 18:32
Forum topic	[Meta] Are we Reddit? Reddit can have intelligent conversations, too... by Charles Torre Well, reddit's moderation by Sean McDirmid Given how many of us have by Sean McDirmid signal to noise by Chad Wellington ten four. i think some by Ehud Lamm	James Iry	2012-02-29 02:46
Forum topic	[HIRING] 3 Positions @ UMass Amherst CS Dept, targeting Programming Languages	emery	2011-11-16 23:10
next page last page