Lambda the Ultimate

type	title	author	last post
Forum topic	What is Intuitive? Mathematics and recursion by Leland McInnes	raould	2016-05-12 23:55
Forum topic	Cost of provably-correct code Is the set of proofs better by Leland McInnes To my mind it is about by Leland McInnes	Ehud Lamm	2013-07-06 19:56
Story	Social Processes and Proofs of Theorems and Programs Automated testing integrated into the language by Leland McInnes	Luke Gorrie	2012-03-19 13:02
Story	Guido: Language Design Is Not Just Solving Puzzles Baby steps have to come first by Leland McInnes Right tool for the job... by Leland McInnes	Ehud Lamm	2011-01-05 17:06
Story	The Galois connection between syntax and semantics Benefits of SDG by Leland McInnes	Ehud Lamm	2010-06-19 01:47
Forum topic	ruby vs python You can write an by Leland McInnes Concurrency by Leland McInnes	shahbaz	2009-09-21 10:28
Forum topic	Typing a function which includes its axioms? Algebraic specification by Leland McInnes	Bryan Turner	2008-09-17 22:35
Forum topic	Functional Programming in the ACM CS Curriculum A couple other options by Leland McInnes I have absolutely no idea of by Leland McInnes	mwand	2008-07-19 22:42
Forum topic	Category theory in design System specification by Leland McInnes	jdgallag	2008-05-29 15:49
Forum topic	Understanding category theory and its practical applications Both more and less by Leland McInnes	Winheim Raulsh	2008-05-26 05:25
Forum topic	Non-null references? You can do this Java by Leland McInnes	Mike Hearn	2008-03-14 21:05
Story	An Overview of the Singularity Project CASL as meta-specification by Leland McInnes	Ehud Lamm	2007-10-12 19:45
Story	Ralph Johnson: Erlang, the next Java It seems quite reasonable to by Leland McInnes	Ehud Lamm	2007-08-12 15:45
Forum topic	Why people don't use functional programming? How do you define "easy" in by Leland McInnes "Good enough" theorem proving by Leland McInnes	Gergely Buday	2007-06-09 16:40
Forum topic	Picky libraries, picky languages? I agree by Leland McInnes JML has some support by Leland McInnes	raould	2007-05-24 20:52
Forum topic	DbC + OPascal == Chrome Looks interesting by Leland McInnes	raould	2007-05-24 19:58
Forum topic	Is Integer wrapping an exceptional condition? But what is a three? by Leland McInnes Real numbers on computers by Leland McInnes	mansu	2007-05-21 23:34
Story	Lisp is sin The best way to avoid abuse f by Leland McInnes	Ehud Lamm	2007-05-19 19:51
Forum topic	Thoughts about the Best Introductory Language Mathematica in Mathematica by Leland McInnes	shlomif	2007-05-01 05:23
Forum topic	Why is there not a PL with a mathematical type system? Why analysis is hard (computationally) by Leland McInnes True enough by Leland McInnes All true, but approximations... by Leland McInnes Discontinuous functions by Leland McInnes CASL tools by Leland McInnes Analysis is hard... by Leland McInnes Easy learnable abstract pure math by Leland McInnes Magma by Leland McInnes	gueven	2007-04-25 14:14
Forum topic	Expect New Major Language Within Five Years Yes and no by Leland McInnes	Anton van Straaten	2007-04-17 01:00
Forum topic	Automatic Programming Formal Spec Langauges by Leland McInnes	J Storrs Hall	2007-03-13 14:08
Forum topic	Why Are ALL Programming Languages So Low Level? What is this purity you're by Leland McInnes I have no idea what you're talking about by Leland McInnes	Vorlath	2007-01-16 22:41
Forum topic	Why Johnny can't code Guido van Robot by Leland McInnes	Matthew Willson	2007-01-04 22:54
Story	The Future of LtU If you truly understand all by Leland McInnes	Ehud Lamm	2006-12-26 02: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