Lambda the Ultimate

type	title	author	last post
Forum topic	Brendan Eich, CEO of mozilla Not BS by johnwcowan	Sean McDirmid	2014-04-13 18:55
Forum topic	Leslie Lamport: Thinking for Programmers Not always by johnwcowan	Charles Torre	2014-04-12 13:41
Forum topic	Multimethods over structural types Pure by johnwcowan Dylan is nominally typed by johnwcowan	Benjohn Barnes	2014-04-07 13:08
Story	What Are The Resolved Debates in General Purpose Language Design? Fortran implementation bugs by johnwcowan There is only one Unicode by johnwcowan * I think you had it right the first time, too. by johnwcowan	James Iry	2014-03-31 20:55
Forum topic	Julia has no dependent types Julia is dynamically typed by johnwcowan	andrew cooke	2014-03-13 16:43
Forum topic	Disallow shadowing? NetRexx has an interesting attitude to scope by johnwcowan	Y	2014-02-25 02:06
Forum topic	POPL 2014 proceedings available freely for all It can *be* the open access venue by johnwcowan Were presenters charged for attending? by johnwcowan	gasche	2014-02-08 00:34
Forum topic	Minimal implementation of state machines I don't think that's what it means by johnwcowan	giuseppemag	2014-02-01 05:12
Forum topic	Examples for benefitfs of dynamic programming languages Unsafety by johnwcowan Except when they don't by johnwcowan MiniKanren is written (for portability) in R5RS Scheme ... by johnwcowan * That would make things tough for continuous-build servers by johnwcowan Null by johnwcowan Another prediction by johnwcowan Static and dynamic typing are not mutually exclusive by johnwcowan	Sebastian Okon	2014-01-30 21:54
Forum topic	"Fog Cutter" model illustrates Actor Model issues Behavior has the same problem by johnwcowan	Hewitt	2013-12-04 00:15
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
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