Lambda the Ultimate

type	title	author	last post
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
Forum topic	What is the dual of { } ? Intuitiveness vs. intuitive correctness by Matt M Sets and such by Matt M Oops, thanks by Matt M Not well grounded by Matt M CIC... by Matt M With diffidence... by Matt M If I understand... by Matt M	Kay Schluehr	2009-02-12 08:58
Forum topic	On the (Im)possibility of Obfuscating Programs Spared! by Matt M Another venue? by Matt M Probably... by Matt M Encryption by Matt M An uncertainty principle by Matt M Non-issue? by Matt M All we really need by Matt M	Jason Dusek	2009-02-11 04:08
Story	PL Grand Challenges Are you calling me yellah? by Matt M Agreed. by Matt M	Ehud Lamm	2009-02-10 16:09
Forum topic	Introducing Dawn - yet another new language "Only semantic" by Matt M	Poul Krogh	2009-02-06 09:07
Forum topic	Ruling out nonsensical data type definitions What sort of logic is that? by Matt M I'm reluctant to perpetuate by Matt M I consider "datatype" in by Matt M Unit nits by Matt M	Douglas McClean	2009-02-03 22:54
Forum topic	Explaining monads Oops by Matt M Understanding dissections by Matt M Agree, except... by Matt M Monads are a structure by Matt M IO and monads by Matt M Well by Matt M I responded because I by Matt M More technical? by Matt M	Ehud Lamm	2009-01-30 11:43
Story	2008 In Review - What Happened with Programming Languages? Combinator calculus by Matt M	James Iry	2009-01-28 12:15
Forum topic	Detailed discussion forum and/or IRC channel? Regarding IRC... by Matt M	strog	2009-01-28 05:29
Forum topic	Introducing Ambi Why? by Matt M	David Pratten	2009-01-27 02:42
Forum topic	Macro systems Look at by Matt M	cdiggins	2009-01-22 17:50
Forum topic	Nested functions - how many nesting levels are really needed? Nesting Level Irrelevant was my point by Matt M Still missing it by Matt M What am I missing? by Matt M Values shared across multiple closures by Matt M In Haskell... by Matt M For efficiency? by Matt M	strog	2009-01-22 12:00
Forum topic	Weird computability problem relating to state + lambda calculus Doesn't this reduce to the by Matt M	ellisk	2009-01-17 14:17
Forum topic	Fundamental Flaws in Current Programming Language Type Systems Did I miss your proposal in by Matt M Ah, but continuing my by Matt M The stronger typing can be by Matt M This module is only correct by Matt M Still missing the example by Matt M Basically, I'm suggesting by Matt M Fair by Matt M "code depends on interfaces, not classes" by Matt M How would it work? by Matt M MPEG-2 by Matt M ...	Bruce Rennie	2009-01-16 16:42
Forum topic	Any problems with true union types if all values are tagged? (like in a dynamically typed system, Lisp, etc.) Yes, I think most everything by Matt M Agreed by Matt M This is a good example by Matt M Example? by Matt M A guess by Matt M Ya by Matt M From context by Matt M Another distinction by Matt M Parametricity at the type level? by Matt M then your language is aparametric by Matt M	scottmcl	2009-01-11 22:50
Story	Programmable Concurrency in a Pure and Lazy Language Right by Matt M	James Iry	2008-12-31 23:41
Forum topic	Garbage Collection Representations Static calls by Matt M What if you build a mask by Matt M You could probably parse the by Matt M	naasking	2008-11-03 22:37
Forum topic	To CPS or not to CPS Possibly... by Matt M	marco	2008-10-10 13:29
Forum topic	Help with Mixfix in Bison? Originally I was strongly in by Matt M	shap	2008-10-09 16:00
Forum topic	Clojure talk videos Huh? by Matt M Yes by Matt M Monads don't require static typing by Matt M	claudio	2008-10-09 15:57
Forum topic	Is API evolution of exceptions special? Type of handleException is wrong by Matt M Encapsulation by Matt M	Jaroslav Tulach	2008-10-02 16:17
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