Lambda the Ultimate

type	title	author	last post
Story	Interactive Programming Yes, that's exactly... by neelk	Luke Gorrie	2013-03-25 05:32
Forum topic	syntax and nesting: Lispy or Algol'ish? Take a look at Honu by neelk	Ray Dillinger	2013-03-15 18:02
Forum topic	What will programming look like in 2020? I'm not married... by neelk Streams *are* state transition systems by neelk Hi Sean by neelk	Sean McDirmid	2013-03-01 03:45
Forum topic	Type evolution during construction Take a look at... by neelk	shap	2013-01-08 18:45
Forum topic	Programming with alternatives This looks like McCarthy's amb operator by neelk	Robbert van Dalen	2013-01-06 16:56
Forum topic	Google's Dart announced I think... by neelk Quick reactions:Good: by neelk	vieiro	2012-12-30 17:29
Forum topic	STEPS 2011 Progress Report (personal computing in 20kLOC) I was both unsurprised and disappointed... by neelk	Greg Buchholz	2012-12-20 20:48
Forum topic	Simple Question (I hope...): Forward declarations vs. "letrec" style or ML "and" style constructs Sure they do... by neelk	scottmcl	2012-12-02 19:19
Forum topic	Learnable Programming No, it doesn't.... by neelk	dmbarbour	2012-11-29 21:57
Story	Equality Saturation: A New Approach to Optimization	neelk	2012-11-28 20:26
Forum topic	"Next Page" comment links not working The main fix I want... by neelk	Sean McDirmid	2012-10-25 08:09
Story	Commentary on Standard ML My own favorite semantics for SML is... by neelk	Chris Rathman	2012-09-12 19:44
Forum topic	Alien worlds, values, and you can't touch this Hi Sean... by neelk	Sean McDirmid	2012-09-11 13:15
Forum topic	Less is exponentially more: Rob Pike on Go and Why C++ Programmers Aren't Flocking to it. What do you think about X10? by neelk	Matthew Markland	2012-09-05 03:19
Forum topic	IDE design for immediate feedback I do have some plans... by neelk Modularity and type theory by neelk	David Wagner	2012-09-04 09:14
Story	Self.congratulate Those would all be nice, but by neelk The single biggest improvement... by neelk	Ehud Lamm	2012-08-06 10:41
Forum topic	Immediate mode GUIs Hi Thomas,Thanks for your by neelk The point about immediate by neelk I'll reply soon... by neelk I have thought a fair bit about this... by neelk	Sean McDirmid	2012-07-27 04:18
Story	Mechanized λ<sub>JS</sub> Here's how to read them by neelk	Paul Snively	2012-07-25 13:37
Story	Garbage Collection Without Paging Hi, did you try to submit by neelk Obviously, I'd like to hear by neelk	neelk	2012-07-25 00:39
Forum topic	How to respect language styles while translating? There are... by neelk	raould	2012-07-24 18:15
Story	How to Make Ad Hoc Proof Automation Less Ad Hoc This is a very nice thesis... by neelk	Paul Snively	2012-07-24 00:43
Forum topic	OO type systems and BNFs I would... by neelk	Sean McDirmid	2012-07-20 19:36
Forum topic	Erik Meijer started a discussion on Domain Specific Languages How broadly... by neelk	w7cook	2012-07-13 00:52
Forum topic	Bob Harper of CMU is blogging about programming languages and introductory CS education Expert OO designers reason by neelk Yes, really by neelk	vrijz	2012-06-30 00:11
Story	On Understanding Data Abstraction, Revisited Historical note by neelk	Z-Bo	2012-06-28 01:36
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