Lambda the Ultimate

type	title	author	last post
Forum topic	Help, this is driving me mad! Ahh by Matt M Welp by Matt M On-topic? by Matt M	paul_butcher	2009-07-05 12:06
Forum topic	Fully Encapsulated Languages? Are there any out there? o.O by Matt M Modules implement abstractions by Matt M LoD on DSL by Matt M	John Carter	2009-07-01 03:20
Forum topic	GRS vs LTRS Tricky indeed! by Matt M	vag	2009-06-29 14:21
Forum topic	Total functional language self interpreter? Something very similar to by Matt M Which example? by Matt M Be careful again by Matt M Throw and catch by Matt M ... by Matt M Disconnect by Matt M Well I agree that a type by Matt M It is not clear that 'any by Matt M The other branch by Matt M More detail by Matt M ...	jason stumpf	2009-06-27 13:57
Forum topic	SSA vs. CPS (and ANF?) Actual link by Matt M	scottmcl	2009-06-23 20:01
Story	Computer music: a bastion of interactive visual dataflow languages What is a paradigm? by Matt M Good as DSLs, not in general by Matt M	Peter Van Roy	2009-06-19 03:30
Forum topic	Preventing downcasting and adding a universal variant I was assuming automatic by Matt M	cdiggins	2009-06-16 22:17
Forum topic	The Meta-LtU Thread Pistrami, Lettuce, Tomato by Matt M Confusingly, by Matt M	Leon P Smith	2009-06-14 13:43
Story	Code Reading Irony? by Matt M	Ehud Lamm	2009-06-04 14:52
Forum topic	Static typing may require runtime type checking? That's the issue by Matt M	sidhu	2009-05-06 15:18
Story	ADD 50 TO COBOL GIVING COBOL This comes to mind by Matt M Subject by Matt M An all-pairs dating service? by Matt M	James Iry	2009-05-02 10:14
Forum topic	Languages ready for API Evolution Draconian? by Matt M	Jaroslav Tulach	2009-04-22 05:55
Story	A Computer-Generated Proof that P=NP Fully Rigorous by Matt M	Leon P Smith	2009-04-20 19:18
Forum topic	zip in the point free style To be fair... by Matt M	Carter Cheng	2009-04-14 01:58
Forum topic	Eliminating fuzziness of access modifiers Poor translation by Matt M Default final by Matt M	Jaroslav Tulach	2009-04-11 07:16
Story	Closing the Stage: From Staged Code to Typed Closures confused by Matt M	Ehud Lamm	2009-03-30 23:29
Forum topic	Influence of cognitive models on programming language design counter-example by Matt M	Srikumar Subramanian	2009-03-26 21:04
Forum topic	Tiered approaches to higher order programming? Thanks by Matt M	John Nowak	2009-03-22 19:38
Story	Languages and security: a short reading list Was this parody? by Matt M	James Iry	2009-03-22 17:02
Forum topic	Using coalgebraic structures for traversing ADTs lazily Interesting by Matt M Do you mean ...? by Matt M	marco	2009-03-10 01:49
Story	Process calculi for transactions Welcome dmbarbour by Matt M plain-old-datatype? by Matt M The Procedure Monad by Matt M	Charles Stewart	2009-03-06 09:15
Forum topic	implementing by-value reduction in lambda calculus leftmost-outermost by Matt M call-by-name and call-by-value by Matt M	jdgallag	2009-03-02 18:56
Story	Denotational design with type class morphisms Typeclasses as theories by Matt M Manic Algebra Sets by Matt M I got a different sense by Matt M Confused by Matt M	Matt Hellige	2009-02-25 20:28
Forum topic	Declarative layout and/or UI languages? Dragging and dropping by Matt M	naasking	2009-02-18 10:05
Forum topic	Open Recursion Can and has by Matt M Similar idea by Matt M Reopening recursion by Matt M	Leon P Smith	2009-02-15 16:53
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