Lambda the Ultimate

type	title	author	last post
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
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	Matthew Willson	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	viergroupie	2006-12-09 01:28
Forum topic	C++ has indeed become too "expert friendly" Or Eiffel or Ada by Leland McInnes	Isaac Gouy	2006-12-07 14:01
Forum topic	AutoTest - Automated contract based testing for Eiffel	Leland McInnes	2006-10-06 16:59
Forum topic	Closures for Java or money back I always liked Eiffel for by Leland McInnes	el-vadimo	2006-09-23 19:16
Forum topic	Advantages of Soft Typing Oh yes, I'm not saying that. by Leland McInnes In such a system, the usual by Leland McInnes What makes you think by Leland McInnes	Curtis W	2006-08-29 22:21
Forum topic	Your favourite editor/IDE In much the same way I used by Leland McInnes Exactly by Leland McInnes	Josef Svenningsson	2006-08-27 07:38
Forum topic	First Class Values, Types as values within a Programming Language The point is that what you by Leland McInnes For poorly specified problems by Leland McInnes	Bruce Rennie	2006-07-20 00:50
Forum topic	The World's Most Maintainable Programming Language That's what I said to by Leland McInnes In case you were wondering by Leland McInnes	raould	2006-07-11 22:20
Forum topic	Oxymoronic? "Safety-critical development guidelines for real-time Java" In the end the clarity by Leland McInnes Well you can apply the same by Leland McInnes	raould	2006-07-01 15:52
Forum topic	Rules for Developing Safety-Critical Code Feature restriction by Leland McInnes	Peter J. Wasilko	2006-06-25 21:26
Forum topic	Relevance of Curry-Howard As long as specifications by Leland McInnes	Klaus Ostermann	2006-06-12 13:36
Forum topic	Return of the Global Variables? My problem is not with what i by Leland McInnes	Koray Can	2006-06-08 07:31
Story	Ada UK Conference 2006 (slides & videos) There's a lot to be said for this by Leland McInnes	Ehud Lamm	2006-06-02 15:38
Story	Proofs are Programs: 19th Century Logic and 21st Century Computing How about by Leland McInnes	shapr	2006-05-30 17:35
Forum topic	Lambda the Ultimate Set Comprehension The last 100 years is a lot! by Leland McInnes Equal is perhaps a bad term, by Leland McInnes Funny you should say that by Leland McInnes The main difference by Leland McInnes If you want simple CT by Leland McInnes I suspect we probably agree... by Leland McInnes Yes, I'll accept that by Leland McInnes Could provide an example of by Leland McInnes Mathematicians don't care by Leland McInnes	xyzzy	2006-05-17 06:05
Forum topic	The fundamental difference between Sets and Lists? Neither is more fundamental by Leland McInnes Not exactly optimal by Leland McInnes	Robbert van Dalen	2006-04-27 12:55
Forum topic	The R Project Interpreting intent by Leland McInnes	Leon P Smith	2006-04-08 19:29
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