Lambda the Ultimate

type	title	author	last post
Forum topic	Paged topics Click on the line for the by John Shutt	raould	2014-12-09 21:59
Forum topic	Why do we need modules at all? Programming system evolution by John Shutt Darwinian PL design by John Shutt	Sean McDirmid	2014-12-06 15:20
Story	Facebook releases "Flow", a statically typed JavaScript variant Pragmatic validity is unproveable by John Shutt	James Iry	2014-12-03 08:59
Forum topic	Impact of static type systems on productivity of actual programmers: first experiment I've seen documented. which of us would choose to by John Shutt Makes sense by John Shutt	Ray Dillinger	2014-11-18 03:22
Forum topic	A duality between exceptions and states - Dumas, Duval, Fousse, Reynaud the effect of previous assignments by John Shutt	chrisoliver	2014-11-10 17:57
Forum topic	Opposing Hierarchies of Complexity Obviousness not obvious by John Shutt for me the important thing by John Shutt This is not going well by John Shutt Cogito by John Shutt The meaning of meaning by John Shutt Apples and tesseracts by John Shutt That which is most useful... by John Shutt Bridging better buildings by John Shutt Just to be clear about my by John Shutt ...and computations proved? by John Shutt ...	Keean Schupke	2014-11-05 22:20
Story	Exceptional syntax Either/or by John Shutt	Chung-chieh Shan	2014-11-04 18:51
Forum topic	Programming with Managed Time I'm not so sure the opposite by John Shutt Well, Haskell did try to by John Shutt Managing memory vs managing time by John Shutt	Sean McDirmid	2014-10-23 00:47
Forum topic	Experiment From an OOPSLA '87 paper by John Shutt Not to put too find a point on it by John Shutt Mathjax, javascript, Lisp... by John Shutt This topic could afford a really interesting discussion... by John Shutt What I didn't say by John Shutt Actually (though the lexicon by John Shutt populism and industry by John Shutt Populism by John Shutt C is the only language which by John Shutt skeptical by John Shutt ...	Ehud Lamm	2014-10-01 17:10
Forum topic	doing letrec with lambdas btw by John Shutt	jimdesu	2014-09-29 19:46
Forum topic	A StackExchange Site for Programming Language Theory It's perhaps worth keeping by John Shutt Designing mind-stuff by John Shutt Familiar approaches by John Shutt Cost, abstraction, and types by John Shutt The trouble with tribbles by John Shutt Zero tolerance by John Shutt You could say I'm interested by John Shutt Resonance by John Shutt Popcorn-worthy by John Shutt I figure what we need is the by John Shutt ...	aaditmshah	2014-09-27 15:30
Forum topic	Re-thinking Prolog I'd always thought tags by John Shutt	Alex1	2014-09-24 11:21
Forum topic	Optimisation by repeated beta- and eta-reduction Likely by John Shutt if two programs are equal by John Shutt	L Spice	2014-09-22 01:00
Forum topic	Patent on "safe" transitive immutability for object types — prior art? Who, me? by John Shutt Nah by John Shutt	Blaisorblade	2014-09-11 18:18
Forum topic	Programming by page faulting Programming by the seat of one's pants by John Shutt	Sean McDirmid	2014-09-09 00:11
Story	Apple Introduces Swift The computer is your friend by John Shutt	bashyal	2014-08-21 17:54
Forum topic	out of memory behavior not a module? by John Shutt A good factorization by John Shutt Handling it in-language by John Shutt	Rys McCusker	2014-08-17 09:54
Forum topic	Ambiguous language namespaces Nomenclature by John Shutt	Sean McDirmid	2014-07-04 03:31
Forum topic	Artificial Intelligence ASTs by John Shutt Ascetism by John Shutt	Ivan V.	2014-06-25 12:51
Forum topic	Announcing Lang.NEXT 2014 - Registration is Free and Now Open That by John Shutt Four kinds of time by John Shutt Wittgenstein's ladder is by John Shutt It's easy to complain about by John Shutt	Charles Torre	2014-06-04 00:59
Forum topic	Symbol visibility (public, private, protected, etc.) Leakage is not privilege by John Shutt Do what I say, not what I do by John Shutt	Talin	2014-05-31 05:02
Story	Fifty Years of BASIC, the Programming Language That Made Computers Personal Nice by John Shutt	bashyal	2014-05-30 20:21
Forum topic	Executable comments Flowcharts by John Shutt Literate programming by John Shutt	Sean McDirmid	2014-05-22 23:23
Forum topic	type theory about programming language? A difficulty with the by John Shutt Programmers that use type by John Shutt I've wondered by John Shutt Philosophy is by John Shutt In sooth by John Shutt You cannot be certain that by John Shutt It's not an argument at all. by John Shutt One is a motive for by John Shutt Curry-Howard provides by John Shutt I've said this before, but by John Shutt ...	Rys McCusker	2014-05-21 23:10
Forum topic	LtU now supports Mathjax Hunting through unicode, by John Shutt The symbol that looks like by John Shutt Except I didn't use that by John Shutt My LaTeX code for vau transforms \(f\) using pstricks by John Shutt hmm by John Shutt Alas by John Shutt	Anton van Straaten	2014-05-05 14:47
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