Lambda the Ultimate

type	title	author	last post
Forum topic	Self-assembling Type-directed Dataflows Linda by johnwcowan	raould	2014-06-04 18:13
Forum topic	Using real arithmetic to eliminate bounds checking? From the Wikipedia article you cite: by johnwcowan	Vladimir Slepnev	2014-05-14 22:01
Forum topic	Explicit renaming of bound variables * And now I'm not. Sorry for the noise. by johnwcowan * I'm getting [Math Processing Error] by johnwcowan	George Cherevichenko	2014-05-13 20:27
Forum topic	LtU now supports Mathjax Nice but not strictly necessary by johnwcowan	Anton van Straaten	2014-05-05 14:47
Forum topic	You don't mean people actually still use it?! Would you say the same of Perl 5? by johnwcowan At least Cobol is a standard by johnwcowan	Ehud Lamm	2014-04-25 01:13
Story	Deca, an LtU-friendly bare metal systems programming language Excellent quotes from the paper by johnwcowan	Anton van Straaten	2014-04-23 16:10
Forum topic	Diseases in Code "Constructive criticism" is an equivocal expression by johnwcowan This is nothing but F# propaganda by johnwcowan	bryanedds	2014-04-23 15:23
Forum topic	Designing an alternative to s-expressions for language extensibility Sigh, here we go again by johnwcowan	Olivier Breuleux	2014-04-20 21:03
Forum topic	F# compiler, library and tools now open for community contribution Point. by johnwcowan I disagree, at least in part by johnwcowan Dog bites man by johnwcowan	Charles Torre	2014-04-15 21:21
Forum topic	Modelling Actors with Locks Say what? by johnwcowan	laforge49	2014-04-14 06:21
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
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