Lambda the Ultimate

type	title	author	last post
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
Story	Social Processes and Proofs of Theorems and Programs Automated testing integrated into the language by Leland McInnes	Luke Gorrie	2008-04-28 13:57
Forum topic	Non-null references? You can do this Java by Leland McInnes	Mike Hearn	2008-03-14 21:05
Forum topic	ruby vs python You can write an by Leland McInnes Concurrency by Leland McInnes	falcon	2008-01-23 23:28
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	szobatudos	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	citylight	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
Story	Teaching Discrete Mathematics via Primary Historical Sources Suggested reading by Leland McInnes Self directed learning by Leland McInnes Providing context by Leland McInnes	Ehud Lamm	2006-12-21 20:23
Forum topic	Abstractly typed languages It's not exactly what you're by Leland McInnes	citylight	2006-12-15 04:58
Forum topic	unchecked exceptions are like runtime type checking? I really should be more by Leland McInnes That Depends on the Static Typing by Leland McInnes	lumpynose	2006-12-13 09:40
Forum topic	Extremely static language? A possible name by Leland McInnes Right tool for the job and all that by Leland McInnes	hawflake	2006-12-09 01:28
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