Lambda the Ultimate

type	title	author	last post
Forum topic	Exploiting parser ambiguity compositional languages by bdenckla ordering (set-to-tuple conversion) by bdenckla Block evaluation by bdenckla Oh, yeah, the meaning of this new example by bdenckla A more complicated example sometimes helps by bdenckla Some answers by bdenckla First stab at a (more) formal semantics by bdenckla The language needs laziness by bdenckla The semantics by bdenckla I already know the semantics of my language by bdenckla ...	bdenckla	2008-09-07 16:12
Forum topic	Program Visualization: Flowchart Layout Algorithms? check out AT&T GraphViz dot by bdenckla	markt	2008-06-17 17:45
Forum topic	what a type system always proves vs. what it can be made to prove I think you get it by bdenckla progress report by bdenckla thanks by bdenckla	bdenckla	2008-06-10 17:56
Forum topic	sublanguages of CTM's Oz memoization by bdenckla	bdenckla	2006-03-20 17:56
Forum topic	The new old or The "Return" to Concurrency thanks for link to McBride & Paterson paper by bdenckla yes that's me by bdenckla Draft of "Another Essence of Dataflow Programming" by bdenckla Comments on "The essence of dataflow programming" by bdenckla	Todd Coram	2006-02-16 00:08
Forum topic	Sequentiality, laziness, Haskell, and cyclic block diagrams	bdenckla	2006-01-19 23:12
Story	The essence of Dataflow Programming by Tarmo Uustalu and Varmo Vene Why AF better than comonad in capturing dataflow semantics by bdenckla Here's my critique of this paper by bdenckla	shapr	2006-01-12 16:51
Forum topic	a + b * c in Brian Meek's "The static semantics file" VW grammars by bdenckla	bdenckla	2005-11-04 17:24
Forum topic	translational vs. denotational semantics	bdenckla	2005-10-14 21:22
Forum topic	literature on commutative lifted boolean operators	bdenckla	2005-10-07 19:02
Forum topic	"dynamic" generative programming? codegen beyond Cpre by bdenckla Similar languages? by bdenckla I think I found my problem by bdenckla Templates look legit by bdenckla	bdenckla	2005-06-30 16:37
Forum topic	"applicative" vs."functional"	bdenckla	2005-06-23 21:40
Forum topic	Post new comment vs. reply	bdenckla	2005-03-24 11:41
Forum topic	Speed and semantics in CTM Chap. 1 Thanks for your reply (pointer) by bdenckla Thanks for your reply by bdenckla One other thing by bdenckla Decidability a problem? by bdenckla Are "Optimizations" always better? by bdenckla	bdenckla	2005-03-24 08:27
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