Lambda the Ultimate

type	title	author	last post
Forum topic	Why is Static Typing Hard? It seems harder because you need to learn more by neelk	Jon Purdy	2013-11-12 18:56
Forum topic	List of ICFP2013 papers with preprints A couple of years ago, POPL by neelk	vieiro	2013-10-15 10:58
Forum topic	Annual Peter Landin Semantics Seminar: Rationalism v Hardware, Prof Richard Bornat, 2 December 2013, 6pm, London He is a fantastic speaker by neelk	paulboca	2013-10-03 17:00
Story	Why Did M.I.T. Switch from Scheme to Python? Did Church grok monads and by neelk	Leon P Smith	2013-09-12 17:06
Story	Mixed-Site Variance In a similar vein... by neelk	bashyal	2013-09-09 21:39
Forum topic	SF-calculus Lots of people... by neelk No... by neelk	Barry Jay	2013-08-30 18:42
Forum topic	lambda cube... 3D Time leaks arise from laziness by neelk No, not more formal... by neelk Yes, this paper is about by neelk You don't need anything fancy for FRP by neelk	raould	2013-08-26 05:25
Forum topic	Error reporting strategies during parsing Yes, LR parsers have the easiest story for good error messages by neelk	Matt Fenwick	2013-08-15 20:16
Story	Extensible Effects -- An Alternative to Monad Transformers Delimited continuations are by neelk This description is by neelk Handlers are about... by neelk	naasking	2013-08-01 13:03
Forum topic	Quote Safe unquote JVM language? Allocation is still an ambient privilege in Joe-E... by neelk	markt	2013-07-30 09:43
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
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