Lambda the Ultimate

type	title	author	last post
Story	Commentary on Standard ML * Bless you. by johnwcowan * Gone, alas! by johnwcowan	Chris Rathman	2012-09-12 19:44
Forum topic	Less is exponentially more: Rob Pike on Go and Why C++ Programmers Aren't Flocking to it. VB.NET is not just C# with different syntax by johnwcowan Pike channels Dijkstra by johnwcowan	Matthew Markland	2012-09-05 03:19
Forum topic	Should continuation capture always be considered to be stack unwinding? What is an exception? by johnwcowan	Manuel J. Simoni	2012-08-25 13:07
Forum topic	Why prolog is by far the best, most productive, easiest programming language I think that means .... by johnwcowan	marshallp	2012-08-23 03:24
Forum topic	Overloading by return type without types It would be straightforward to extend the Perl solution by johnwcowan	vorov2	2012-08-12 23:50
Forum topic	Lattices - Partial orders with infimum and supremum But does this continuation have unlimited extent? by johnwcowan	hbrandl	2012-07-17 15:56
Forum topic	Why are exceptions not described as 'purely functional'? Not quite imperative by johnwcowan Not exceptions but conditions by johnwcowan	bryanedds	2012-07-11 15:05
Forum topic	Ela, dynamic functional language You should take a look at Pure by johnwcowan	vorov2	2012-07-04 14:56
Forum topic	Bob Harper of CMU is blogging about programming languages and introductory CS education Amen by johnwcowan	vrijz	2012-06-30 00:11
Forum topic	Quantitative comparison of unit testing vs. static typing? OT: "Type-based dispatch"? by johnwcowan I don't see how it could be by johnwcowan	lmeyerov	2012-06-22 02:59
Forum topic	Why Do Some Programming Languages Live and Others Die? Proper link by johnwcowan	Sean McDirmid	2012-06-18 23:33
Forum topic	Wat Like anything else, overloading can be and has been abused by johnwcowan Implicit conversion, not overloading by johnwcowan	naasking	2012-06-09 09:34
Story	Common Lisp: The Untold Story Why rewrite Excel? by johnwcowan	Manuel J. Simoni	2012-05-20 23:46
Forum topic	References about the importance of formalism in programming language design What I meant by johnwcowan Proofs aren't guarantees by johnwcowan Exactly so by johnwcowan I don't read "formal X" sections in papers by johnwcowan	giuseppemag	2012-03-30 05:42
Forum topic	Research in Programming Languages This is true in all fields of learning, though often forgotten by johnwcowan	Sean McDirmid	2012-03-10 11:01
Forum topic	Wittgenstein versus Turing on Inconsistency Robustness * Only if you insist ... by johnwcowan "software systems are pervasively inconsistent"? by johnwcowan	Hewitt	2012-03-05 22:15
Story	A Concept Design for C++ Actually, I enjoy Pure .... by johnwcowan	James Iry	2012-03-04 21:35
Forum topic	Syntax Desugaring Algorithm Question No erroneous output by johnwcowan	bryanedds	2012-02-23 23:46
Forum topic	Teaching challenge: culturally enriching formulae-as-types Wow, you actually lecture in Haskell too? by johnwcowan	Charles Stewart	2012-02-18 22:10
Forum topic	Active Variables in Common Lisp C# supports these by johnwcowan	kruhft	2012-02-08 18:02
Forum topic	Programmer Archeologists It is interesting that the timekeeping kernel ... by johnwcowan	Sean McDirmid	2012-01-06 16:48
Forum topic	Interview [Video] -> Simon Peyton-Jones - Closer to Nirvana In addition, reading speed varies by johnwcowan	Charles Torre	2011-12-28 06:55
Forum topic	iPhone PL lockdown It's enforceable by lawsuit by johnwcowan That's unwarrantedly pessimistic by johnwcowan	Sean McDirmid	2011-12-24 05:49
Forum topic	John McCarthy has passed He is also responsible for the conditional expression by johnwcowan	Thomas Lord	2011-12-11 10:31
Forum topic	REPL-schmepl? 50 lines per function? by johnwcowan	el-vadimo	2011-12-07 00:25
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