Lambda the Ultimate

type	title	author	last post
Forum topic	On the (Alleged) Value of Proof for Assurance but where's the understanding? by jason stumpf	shap	2016-11-24 01:04
Forum topic	Limitations of Prolog-style clausal programs Straightforward by jason stumpf	Hewitt	2014-02-11 10:53
Forum topic	Strong Mathematical Foundations for Computer Science Fair enough by jason stumpf Which predicates? by jason stumpf	Hewitt	2013-11-25 14:58
Forum topic	Proving running times of algorithms Thank you! by jason stumpf answers half by jason stumpf	jason stumpf	2013-09-13 02:43
Forum topic	Are scalars "just" degenerate matrices? you're still thinking about code points too much by jason stumpf how is this different from a character? by jason stumpf two circumstances by jason stumpf	Douglas McClean	2012-09-22 21:38
Forum topic	How much power should programmers have? well argued by jason stumpf a lot of recompiles? by jason stumpf Fixing optimized broken code by jason stumpf	Ray Dillinger	2012-09-19 03:12
Forum topic	Languages with 'unique' programs a simple construction by jason stumpf	dataangel	2012-06-04 11:11
Forum topic	Overloading in a dynamic functional language Tuples by jason stumpf	vorov2	2011-09-27 05:18
Forum topic	Any research on garbage collection for a pure langauge? ah, you're right by jason stumpf not reference counting by jason stumpf	jason stumpf	2010-05-01 12:05
Forum topic	Why type systems are interesting Yi by jason stumpf	Anton van Straaten	2010-03-08 19:47
Forum topic	Alternatives to parentheses for grouping Ordinary parentheses combined with this by jason stumpf	jason stumpf	2010-02-10 13:28
Forum topic	Total functional language self interpreter? Thank you! by jason stumpf	jason stumpf	2009-06-27 13:57
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