Lambda the Ultimate

type	title	author	last post
Forum topic	Quotation and evaluation -- or, how pure is the pure lambda calculus? Name-free graph-based representations by Matthew Willson	Lucius Gregory Meredith	2007-01-04 11:24
Forum topic	Question About Computational Complexity Undecidable in general, but by Matthew Willson	Matteo	2007-01-03 22:31
Forum topic	Modeling and Typing Combinatory Calculus How would you type S ? by Matthew Willson	cdiggins	2006-12-22 21:01
Forum topic	Abstractly typed languages Interesting by Matthew Willson Yes, optimization wasn't really the main point by Matthew Willson	Matthew Willson	2006-12-15 04:58
Forum topic	Designing a Programming Textbook I'd suggest C, not C++ by Matthew Willson	cdiggins	2006-10-02 19:26
Forum topic	Constant Values as Types Now I think about it by Matthew Willson I see what you're saying by Matthew Willson I think it would be undecideable by Matthew Willson More thoughts - by Matthew Willson In a dependently typed language by Matthew Willson	cdiggins	2006-09-04 10:29
Story	Links: Web Programming Without Tiers Well I was thinking more along the lines by Matthew Willson This looks really interesting by Matthew Willson	Ehud Lamm	2006-05-04 00:15
Forum topic	The fundamental difference between Sets and Lists? Mathematical perspective by Matthew Willson	Robbert van Dalen	2006-04-27 12:55
Story	An Operational Foundation for Delimited Continuations in the CPS Hierarchy Ah thanks by Matthew Willson Simple question I expect but by Matthew Willson	Andris Birkmanis	2005-12-24 15:00
Forum topic	Is this a new programming paradigm Have a play with Max/MSP by Matthew Willson	mansu	2005-12-22 01:17
Forum topic	Type Nomenclature Nitpick by Matthew Willson	David B. Held	2005-11-09 11:06
Forum topic	Would LISP/FP help here? I know nothing about hardware design but by Matthew Willson	Laurent Bruter	2005-11-02 14:44
Forum topic	Parsing and syntax reordering Looks like a fairly trivial by Matthew Willson	kruhft	2005-11-01 18:12
Forum topic	"The Anatomy of a Loop" (Sorry just thinking aloud th by Matthew Willson Hmm... yeah I can see it woul by Matthew Willson Tail recursion sacrafices by Matthew Willson	el-vadimo	2005-10-09 19:02
Forum topic	Table Oriented Programming Maybe I'm missing something b by Matthew Willson	mansu	2005-09-28 02:41
Forum topic	Category theory Ah that sounds like the kind by Matthew Willson	Matthew Willson	2005-09-27 19:22
Forum topic	Most Productive FP Lang? ...except that, IIRC, you can by Matthew Willson	David B. Held	2005-09-26 03:14
Story	Ruby on Rails: An Interview with David Heinemeier Hansson True, Ruby is perhaps more ha by Matthew Willson Oops by Matthew Willson Well I expect you could cook by Matthew Willson Oh right by Matthew Willson MySQL and foreign keys by Matthew Willson ActiveRecord and the relational model by Matthew Willson	Ehud Lamm	2005-09-10 18:10
Forum topic	The Complexity Zoo I agree! I was merely pointin by Matthew Willson Of course, although most of c by Matthew Willson Poly time church-turing by Matthew Willson	Andris Birkmanis	2005-07-28 04:17
Forum topic	Why recursing is better than looping More so than iteration, I mea by Matthew Willson Not intuitive by Matthew Willson	johnnyb	2005-06-29 20:27
Story	Happy Birthday, PHP... popularity by Matthew Willson	Dominic Fox	2005-06-11 23:20
Forum topic	More sites like Lambda Maths sites by Matthew Willson	Matthew Willson	2005-05-12 06:46
Story	The Language of Biology Someone already has :-) by Matthew Willson	Chris Rathman	2004-09-28 17:47
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