Lambda the Ultimate

type	title	author	last post
Forum topic	Typographical extensions for programming languages: breaking out of the ASCII straitjacket Proof assistants... by neelk	Sean McDirmid	2013-07-28 00:17
Forum topic	Cost of provably-correct code The cost number... by neelk	Ehud Lamm	2013-07-06 19:56
Story	the gnu extension language Here's an example by neelk For functions... by neelk	Manuel J. Simoni	2013-06-28 14:23
Story	On the history of the question of whether natural language is “illogical” This is astoundingly good work by neelk	Ehud Lamm	2013-06-06 15:18
Forum topic	Janus: A Time-Reversible Language See Roshan P. James and Amr Sabry's recent POPL paper by neelk	Sean McDirmid	2013-05-25 11:38
Forum topic	Everybody Needs a Syntax Extension Sometimes Epigrams on Programming, by neelk	danbst	2013-05-19 12:26
Story	John C. Reynolds, 1935-2013 On Being a Student of John Reynolds by neelk I've also posted some by neelk	neelk	2013-05-08 11:20
Story	Dependent Types for JavaScript No magic, AFAICT by neelk	naasking	2013-04-18 10:44
Forum topic	Peter Van Roy: Programming Paradigms for Dummies For non-cflow advice... by neelk	Torsten Anders	2013-04-05 15:06
Story	Who's online Thank you! by neelk If you're tinkering with the blog, please add MathJax support by neelk	Ehud Lamm	2013-04-02 09:09
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
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