Lambda the Ultimate

type	title	author	last post
Forum topic	From Programming Language Design (PLD) to Programmer Experience Design (PXD) I intended no assumptions by John Shutt Hoare and separation logic by John Shutt programming and markup by John Shutt If you take a procedure with by John Shutt Tempus fidgets by John Shutt Is haskell readable?No. by John Shutt Oh, the 'Lisp syntax' thing by John Shutt just valuing different by John Shutt classic talking-past-each-other by John Shutt Ah, COBOL by John Shutt ...	Sean McDirmid	2015-05-20 12:15
Forum topic	The Programming Language Wars: Questions and Responsibilities for the Programming Language Community About the Common Lisp misfeature by John Shutt I should know better than to by John Shutt I also know that quote and by John Shutt more of a challenge, yes by John Shutt note by John Shutt smoothness by John Shutt Turns out the impression by John Shutt every expression is by John Shutt One gets the impression, by John Shutt Of possible interest by John Shutt ...	Phil Miess	2015-05-18 14:25
Forum topic	Five Paradigm Shifts in Programming Language Design and their Realization in Viron, a Dataflow Programming Environment You can have mechanized by John Shutt	Sean McDirmid	2015-05-10 16:17
Forum topic	Type Theory Glossary It seems like the two by John Shutt Alternatively, by John Shutt	naasking	2015-05-09 12:14
Forum topic	Albatross formerly called Modern Eiffel is available what you make of it by John Shutt	hbrandl	2015-05-08 19:57
Forum topic	What makes LtU more or less enjoyable? psychoceramics by John Shutt reactionary, yes by John Shutt advice and revolution by John Shutt Programming as language design by John Shutt it ain't necessarily so by John Shutt odd by John Shutt	gasche	2015-05-07 06:03
Forum topic	Controversy over the definition of "Logic Program" Please by John Shutt	Hewitt	2015-05-03 22:07
Story	Seemingly impossible programs Most ideas have one person by John Shutt sorry, but no by John Shutt alas, no by John Shutt	Ohad Kammar	2015-04-18 02:15
Forum topic	how many lines of code can civilization support? interaction tarpit by John Shutt Windows XP by John Shutt I don't think it's useful to by John Shutt Wouldn't the difficulty of by John Shutt :-D by John Shutt Programming caste by John Shutt Er by John Shutt Even though I've been by John Shutt death of logic greatly exaggerated by John Shutt And you'll put it on the by John Shutt ...	Thomas Lord	2015-04-09 22:07
Forum topic	Making implicits less powerful? additional systems of computation by John Shutt	Vladimir Slepnev	2015-02-20 16:07
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
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