Lambda the Ultimate

type	title	author	last post
Forum topic	R7RS-small draft ratified by Steering Committee Oddly, there hasn't been an official electronic announcement by johnwcowan	vieiro	2013-11-22 03:05
Forum topic	Interactive Parsing Theory Why bother? by johnwcowan	Alexander Morou	2013-11-09 06:15
Forum topic	xkcd: Functional The best of both worlds by johnwcowan	Sean McDirmid	2013-11-05 20:23
Story	Dependently-Typed Metaprogramming (in Agda) Friday afternoon! by johnwcowan	Ohad Kammar	2013-08-30 16:24
Forum topic	A Case for Gestures/Visualizations and Against Concrete Syntax Mergeable with David Durand's Palimpsest by johnwcowan	Thomas Lord	2013-08-25 05:05
Forum topic	Global State Machines Inadequate (contra Dijkstra and Gurevich et. al.) What is the use of being Turing-complete? by johnwcowan	Hewitt	2013-08-14 18:34
Forum topic	Typographical extensions for programming languages: breaking out of the ASCII straitjacket The left-arrow reflected ... by johnwcowan Unicode bold and italics are for math, not typography by johnwcowan	Sean McDirmid	2013-07-28 00:17
Forum topic	Are first-class environments enough? Not really by johnwcowan	Alex Shpilkin	2013-07-04 15:49
Forum topic	A New Kind of Type System Celebes Kalossi, or traits with state by johnwcowan Inlining errors into the code by johnwcowan	Sean McDirmid	2013-07-03 18:06
Forum topic	Library vs. domain specific language Lisp has a rich syntax by johnwcowan Confusion compounded by johnwcowan You're making my point for me by johnwcowan DSL = domain specific *language* by johnwcowan What is this difference of which you speak? by johnwcowan	Gergely Buday	2013-06-28 15:39
Story	the gnu extension language Actually, not quite by johnwcowan Chibi by johnwcowan	Manuel J. Simoni	2013-06-28 14:23
Forum topic	Ratification Vote for R7RS-small Vote extended through the end of May 20. by johnwcowan	johnwcowan	2013-05-10 15:36
Forum topic	Aml - A Modular Language (Progress Update) Why the deviations from Scheme? by johnwcowan	bryanedds	2013-04-23 00:06
Forum topic	We're In The Monad	johnwcowan	2013-03-31 18:54
Forum topic	Best maintainable evaluation strategy? In favor of *sane* call-by-name by johnwcowan Not at all by johnwcowan	tkirchner	2013-03-31 18:09
Forum topic	Looking for a little advice with implementing recursion. You're over a barrel by johnwcowan	Clarkd	2013-03-12 08:59
Forum topic	Scheme language conundrum regarding delay and force. We're doing nothing by johnwcowan Because Scheme is impure by johnwcowan Unfortunately, non-threaded Schemes do nothing for deadlock by johnwcowan	Ray Dillinger	2013-03-10 11:15
Forum topic	Why say Actor Model instead of message passing? Weak specifications by johnwcowan	Clarkd	2013-03-10 08:48
Forum topic	What will programming look like in 2020? Laziness is a means to an end by johnwcowan	Sean McDirmid	2013-03-01 03:45
Forum topic	Units and Numerical niceties. I think we basically agree by johnwcowan Dimensional analysis has its limits by johnwcowan	Ray Dillinger	2013-01-31 16:27
Story	Ada 2012 Language Standard Approved by ISO * Contacts or contracts? by johnwcowan	Ehud Lamm	2013-01-13 11:54
Story	Rob Pike on Go at Google I couldn't disagree more by johnwcowan	Ehud Lamm	2013-01-09 22:52
Forum topic	Google's Dart announced Blubland is where we live by johnwcowan I think that's the key point by johnwcowan	vieiro	2012-12-30 17:29
Forum topic	The Pooh language / Learnable programming in action Following Smalltalk by johnwcowan The same is true of named procedures by johnwcowan	Michael Moser	2012-12-24 15:42
Forum topic	Eighth draft of Scheme R7RS-small published "Dropping" R6RS library procedures by johnwcowan	johnwcowan	2012-12-22 02:39
first page previous page next page last page

---

Logs: Hack The Planet ; JavaLobby ; Daily Python-URL ; Daily WTF ; PHP everywhere ; (more)
Wikis: WikiWiki ; Erlang ; Common Lisp ; Haskell ; Squeak ; Tcl ; Program Transformation