Lambda the Ultimate

type	title	author	last post
Forum topic	Review NP-complete Library Versioning Problem Terminology by Matt M Different interfaces? by Matt M I don't understand by Matt M Ah thanks by Matt M Cyclic dependencies by Matt M	Jaroslav Tulach	2009-11-30 17:55
Story	Scheme to be split into two languages Standard libraries? by Matt M	Manuel J. Simoni	2009-11-26 16:54
Forum topic	Desperately seeking monomorphic typing Why doesn't unification work? by Matt M	johnwcowan	2009-10-28 18:27
Story	Patrick Logan on Software Transaction Memory Math check by Matt M	Ehud Lamm	2009-10-26 21:48
Story	The End of the GPU Roadmap I imagine he meant something by Matt M I'm curious as to what by Matt M Why? by Matt M 'Now' makes for a good separation of concerns by Matt M I don't think we're far apart by Matt M Continuous time by Matt M Empty shell by Matt M	Noel	2009-10-23 10:03
Forum topic	Turning every module into a functor automatically? Thanks by Matt M Broken link by Matt M Yes by Matt M Fixed by Matt M Comments by Matt M I have something very similar to this... by Matt M	Manuel J. Simoni	2009-09-29 18:05
Forum topic	Eastwest: a new programming language and structure editor the following are legal by Matt M RE: structure editor vs clever incremental parsing/type checking by Matt M	Jacques Le Normand	2009-09-18 23:37
Story	Perl Cannot Be Parsed: A Formal Proof Decision problem by Matt M I agree by Matt M	Andris Birkmanis	2009-09-10 17:08
Forum topic	best superset language... If I may ask... by Matt M	ceti331	2009-08-27 06:01
Forum topic	Theoretical Foundations for Practical Totally Functional Programming, by Colin Kemp I stopped reading when it by Matt M	Colin Kemp	2009-08-26 03:13
Forum topic	Receiver knowing the sender? Don't throw the meta-object protocol out with the bathwater by Matt M macros over meta-object protocol? by Matt M	BigZaphod	2009-08-25 21:27
Forum topic	functions vs procedures.. Nit picking by Matt M	ceti331	2009-08-20 18:05
Forum topic	Avoid a Void: eradicating null-pointer dereferencing Well by Matt M	Bertrand_Meyer	2009-08-19 23:33
Forum topic	FP, auto-generated code.. Lenses by Matt M	ceti331	2009-08-19 15:11
Forum topic	Resolved Debates in Syntax Design ? I wasn't very clear by Matt M Weird by Matt M	gasche	2009-08-13 00:06
Story	A Verified Compiler for an Impure Functional Language Practical uses by Matt M	Paul Snively	2009-08-12 03:12
Story	Creator of Qi Calls It Quits Thank you, thank you by Matt M It's been discussed before, by Matt M	James Iry	2009-08-05 13:04
Story	RepRap: the self-replicating machine Analog copies by Matt M	Luke Gorrie	2009-08-05 02:28
Forum topic	The Church-Turing Thesis: Breaking the Myth Tape configurations by Matt M My configuration space is a by Matt M Different topology by Matt M Hmm by Matt M Questions by Matt M Infinite vs. unbounded by Matt M	naasking	2009-07-18 00:45
Forum topic	Most powerful terminating semantics? In practice, it works in theory, again by Matt M Infinite by Matt M terminating semantics by Matt M CS is is CS does by Matt M The other analogy by Matt M Proof is valid by Matt M What strictures? by Matt M Shrug by Matt M O(N) by Matt M Mostly agreed by Matt M ...	dataangel	2009-07-15 16:49
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
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