Lambda the Ultimate

type	title	author	last post
Forum topic	Loop and recursion Multi-valued variables would by Sean Childs	Mats	2021-01-21 21:50
Forum topic	PL's hotness challenge I've heard similar by Sean Childs	Sean McDirmid	2016-05-10 06:04
Forum topic	Moderation on LtU Meta-discussions should be by Sean Childs	gasche	2015-09-05 11:34
Forum topic	Another "big" question Do we count things such as by Sean Childs	Ehud Lamm	2015-09-02 15:49
Forum topic	Big questions I wonder by Sean Childs	Ehud Lamm	2015-08-27 03:57
Forum topic	Mathematics self-proves its own Consistency (contra Gödel et. al.) link error by Sean Childs	Hewitt	2015-06-25 00:05
Forum topic	Why do we need modules at all? "Its the simplicity and by Sean Childs mistake by Sean Childs "I want to be able to edit by Sean Childs "would a better result could by Sean Childs	Sean McDirmid	2014-12-06 15:20
Forum topic	Code Completion for Generic Programming This might work better in a by Sean Childs	Keean Schupke	2014-11-24 17:37
Forum topic	Impact of static type systems on productivity of actual programmers: first experiment I've seen documented. A bit strange? by Sean Childs	Ray Dillinger	2014-11-18 03:22
Forum topic	Opposing Hierarchies of Complexity And I'm pretty far down the ... by Sean Childs	Keean Schupke	2014-11-05 22:20
Forum topic	Experiment C or C++? by Sean Childs	Ehud Lamm	2014-10-01 17:10
Forum topic	The Future of Programming according to Bret Victor In the Real World (tm), I by Sean Childs I am not certain, but I by Sean Childs	Christian Lindig	2013-08-02 14:28
Story	The programming languages behind "the mother of all demos" Heh, you may be right in by Sean Childs Have we caught up to the 70s by Sean Childs	Ehud Lamm	2013-07-05 22:29
Forum topic	Why say Actor Model instead of message passing? I don't think that by Sean Childs	Clarkd	2013-03-10 08:48
Forum topic	Fixpoint theory, induction and recursion So the mistake (this whole by Sean Childs and every member of the by Sean Childs Could you show us a by Sean Childs I know I will cause outrage by Sean Childs	hbrandl	2013-03-08 04:14
Forum topic	What will programming look like in 2020? ... As I'm talking through by Sean Childs I don't think that's how by Sean Childs Going to butcher your post a by Sean Childs We already have lay people by Sean Childs	Sean McDirmid	2013-03-01 03:45
Forum topic	iPhone PL lockdown Well naturally :p.In any by Sean Childs So ... by Sean Childs Given that code is data by Sean Childs He's an apple certified by Sean Childs	Sean McDirmid	2011-12-24 05:49
Forum topic	math proofs are more robust than computer proofs Sure, that's what we get by Sean Childs Math proofs are robust by Sean Childs	raould	2011-11-18 20:27
Forum topic	Alternative method for defining statically typed variables Something like this? by Sean Childs	Josh-Meredith	2010-03-09 14:56
Story	STEPS Toward The Reinvention of Programming: First Year Progress Report Click here. by Sean Childs	Luke Gorrie	2009-03-13 10:13
Forum topic	Recursive Algorithms that cannot be expresses with Tail-Recursion? What if you had an by Sean Childs What about multiple by Sean Childs	Anon Adderlan	2008-02-19 15:09
Forum topic	Languages and data conversions. Related Stuff by Sean Childs	David Ryan	2008-02-14 21:32
Story	Project LambdaCan Maybe it's by Sean Childs	Ehud Lamm	2008-02-07 22:37
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