Lambda the Ultimate

type	title	author	last post
Story	The Verse Calculus: a Core Calculus for Functional Logic Programming Interesting by Matt Hellige	cdiggins	2024-01-11 00:12
Story	Computer History Museum releases PostScript source	Matt Hellige	2022-12-13 00:15
Story	LtU is now running in a new, more stable environment (dupe) by Matt Hellige (dupe) by Matt Hellige "contributing editors" by Matt Hellige	Anton van Straaten	2022-11-28 23:40
Forum topic	John Shutt, creator of Kernel and an LtU regular, dies at 56 RIP by Matt Hellige	jdougan	2021-10-14 09:16
Forum topic	Programming by poking: why MIT stopped teaching SICP Weeding out freshmen is a by Matt Hellige "That's really about it." by Matt Hellige	Sean McDirmid	2018-01-26 06:42
Forum topic	On the (Alleged) Value of Proof for Assurance Fair enough by Matt Hellige I always wanted to read this by Matt Hellige	shap	2016-11-24 01:04
Story	Programming with Algebraic Effects and Handlers Nice by Matt Hellige	Matt Hellige	2015-12-04 03:11
Forum topic	Compilation to C, a definitive guide? Switch threading by Matt Hellige	naasking	2015-07-05 19:00
Forum topic	Have tracing JIT compilers won? Definitely by Matt Hellige This thread by Matt Hellige	Peter Michaux	2015-05-26 21:09
Forum topic	Making implicits less powerful? Re link-time code generation by Matt Hellige Ok by Matt Hellige Hmm... by Matt Hellige Still don't see it by Matt Hellige	Vladimir Slepnev	2015-02-20 16:07
Story	Morrow & First-class Labels Very cool! by Matt Hellige	Frank Atanassow	2014-12-28 20:26
Forum topic	Let's kick continuations around for a while... Agreed by Matt Hellige	Ray Dillinger	2014-12-26 18:05
Forum topic	Why do we need modules at all? Talking past one another by Matt Hellige No namespace by Matt Hellige	Sean McDirmid	2014-12-06 15:20
Forum topic	Looking for a good online forum on compiler design and implementation Doubtful by Matt Hellige	Talin	2014-12-03 22:33
Forum topic	Code Completion for Generic Programming My point was that, in my by Matt Hellige Of course, foreach(), map(), by Matt Hellige Fundamental by Matt Hellige Hmmm by Matt Hellige	Keean Schupke	2014-11-24 17:37
Forum topic	Concatenative Language Kont Analogy... by Matt Hellige	Chris	2014-10-22 09:15
Forum topic	Experiment I see. I'm sorry to have by Matt Hellige No, I was responding to you. by Matt Hellige Non-naive? by Matt Hellige Array bounds checking is not by Matt Hellige Meta by Matt Hellige	Ehud Lamm	2014-10-01 17:10
Forum topic	Optimisation by repeated beta- and eta-reduction Indeed by Matt Hellige	L Spice	2014-09-22 01:00
Forum topic	Request For Advice and Guidance On Writing a Scheme To C Compiler? You've given a lot of by Matt Hellige	Alex1	2014-09-13 23:33
Forum topic	request for namespace binding service terminology Tangential by Matt Hellige A hard problem... by Matt Hellige	Rys McCusker	2014-07-21 19:12
Forum topic	Ambiguous language namespaces Well... by Matt Hellige	Sean McDirmid	2014-07-04 03:31
Forum topic	states in stateless machine No de facto standard approach by Matt Hellige	Ivan V.	2014-06-06 22:12
Forum topic	type theory about programming language? No alternative by Matt Hellige	Rys McCusker	2014-05-21 23:10
Forum topic	Giant list of visual PLs Visual programming by Matt Hellige	Manuel J. Simoni	2014-05-02 16:09
Forum topic	Inquiry into the nature of software complexity. Agreed. by Matt Hellige Not to mention... by Matt Hellige	bryanedds	2014-04-24 20:30
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