Lambda the Ultimate

type	title	author	last post
Forum topic	Negation in Logic Languages fuzzy truth versus fuzzy relevance by John Shutt	Keean Schupke	2015-02-19 17:21
Forum topic	Constraint-Based Type Inference and Parametric Polymorphism Hm, 'type system' usually by John Shutt let there be types by John Shutt	Sean McDirmid	2015-02-13 23:43
Forum topic	Some notes on Rust, the language. lower or middle by John Shutt Science and art by John Shutt	John Nagle	2015-02-09 07:25
Forum topic	How can languages help us in terms of achieving correct program design? thanks by John Shutt Stalking the wild idea by John Shutt me neither by John Shutt Concrete Platonic reality by John Shutt Turing power by John Shutt alternating is good by John Shutt phases, constructors, and meta-reasoning by John Shutt I approve of skepticism. It by John Shutt primitive vs derived/library by John Shutt first-class theorems by John Shutt ...	bryanedds	2015-02-02 17:56
Forum topic	How can middle school algebra help with domain specific languages? string concatenation? by John Shutt	shahbaz	2015-01-21 17:18
Story	Call-by-Name, Call-by Value and the Lambda Calculus So T = S should imply QT = QS by John Shutt If one can't get CR-ness, by John Shutt The first work to break ground by John Shutt	Ehud Lamm	2015-01-12 02:08
Forum topic	managing closed worlds of symbols via alpha-renaming in loosely coupled concurrent apps Any enviornment you can specify by John Shutt Kernel like languages make by John Shutt M-expression Lisp didn't by John Shutt (not? (equal? (idealize JavaScript) Lisp)) by John Shutt Is JavaScript Lisp with a by John Shutt The difficulty with readable by John Shutt Readable syntax by John Shutt Richard Feynman by John Shutt	Rys McCusker	2015-01-10 00:45
Forum topic	How can be a interpreter faster than C (aka: kdb+) 1960s, afaict by John Shutt Mathematical linguistics by John Shutt	mamcx	2014-12-31 14:26
Forum topic	Function Readability & Understandability Errors should be visible by John Shutt	Keean Schupke	2014-12-28 20:07
Forum topic	Let's kick continuations around for a while... geleranization vs restriction by John Shutt To be clear, since by John Shutt The funarg problem by John Shutt Continuations in Kernel by John Shutt	Ray Dillinger	2014-12-26 18:05
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
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