recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Story	A New Approach to the Functional Design of a Digital Computer Yeah, I actually clicked on by Leon P Smith "Commercial success" by dhess The B5000 by Leon P Smith Excellent, thanks! by dhess	Luke Gorrie	2009-03-14 03:59
Story	A New Approach to Abstract Syntax with Variable Binding Mugshots by Andris Birkmanis ...and NF too by Charles A Stewart Prior art by Marc Hamann I think what I said was right.... by Charles A Stewart I will have to read it... by Paul Snively Quibble by Marc Hamann This paper is excellent, read it! by Charles A Stewart	Dave Herman	2005-03-17 08:42
Story	A Natural Axiomatization of Church's Thesis semantics by Hank Thediek logic and knowledge by Hank Thediek On purpose by Jean-Luc Delatre Misquote by Hank Thediek Id say logis is correct by Felicia Li Svilling Huh? by Jean-Luc Delatre SOL by Charles Stewart Isn't that what "axiomatization" means? by Matt Hellige In knowledge representation by Hank Thediek Is "knowledge" really relevant to this? by em ...	Ehud Lamm	2007-07-20 13:12
Forum topic	A name for this form of variable capture? To quote myself by James Iry Python is lexically scoped by MichaelFoord The Pied Piper of Mountain View by Scott Johnson :) by Matt Hellige Actually, I agree. by Matt Hellige C++ folk indeed by Daniel Yokomizo Well it seems my question by cjh That was it by James Iry foreach's hidden functions by Anton van Straaten I Had Not Known This... by Paul Snively ...	cjh	2008-08-12 15:03
Story	A Monadic Semantics for Core Curry	Andris Birkmanis	2006-05-03 08:59
Story	A Monadic Framework for Subcontinuations They're the same by Kevin Millikin Why 4 operators? by Andris Birkmanis Or a reader monad by Dave Menendez Back to reading by Andris Birkmanis You'd need some state by Andris Birkmanis There's some paper by Steele by Marcin Tustin Monads by Ehud Lamm Glitches in the Matrix by Andris Birkmanis Can't see where the paper was linked. by Chris Rathman Deja vu by Andris Birkmanis	Andris Birkmanis	2005-06-24 14:19
Story	A Monadic Framework for Delimited Continuations implementing delimited by Ehud Lamm I think the model offered by by Manuel J. Simoni We show that this is not by lmeyerov	Manuel J. Simoni	2011-08-25 20:11
Story	A module system for the C family Big change by John Nagle i know, it was meant to be rhetorical :-) by raould module abuse by Sean McDirmid I'm not familiar with the by Ross Smith If your module system by Sean McDirmid Not sure what you mean here. by Ross Smith How do you handle by Sean McDirmid This is a module system for C++ by Jonathan Wakely In OS and embedded systems, by Sean McDirmid we're still using C? by raould ...	bashyal	2012-12-30 06:37
Forum topic	A Modular, Verifiable Exception-Handling Mechanism REPL shells for statically typed langauges by naasking Reflection by dmbarbour Despite that you can't see by naasking At what cost? by dmbarbour But I'd note it important by naasking [Off-topic] Windows Powershell by Vilya Harvey Host Environment by dmbarbour Restartable exceptions by fadrian I have a hard time imagining by naasking Ah, yes. That would be by dmbarbour ...	dmbarbour	2008-10-23 00:21
Forum topic	A modular toolchain for parsing and compiling code? Example: Stratego/XT by Martijn Vermaat Something along the same lines by David Ryan Or XML for that matter. :) by Scott Johnson Why, yes it could... by fadrian Of course, a universal by Thomas Danecker It's been done... by Paul Snively Some thoughts: by shoe	Thomas Danecker	2008-02-26 10:38
first page previous page next page last page