Lambda the Ultimate

type	title	author	last post
Forum topic	Gamma formalism Similar to Seam? by Andris Birkmanis	Kay Schluehr	2006-07-28 22:35
Story	Interface Automata Some comments by Andris Birkmanis	Andris Birkmanis	2006-07-25 15:41
Story	The right default: concurrent components with message passing ADT is simpler than state by Andris Birkmanis Side-note on state by Andris Birkmanis	Peter Van Roy	2006-07-22 16:37
Forum topic	First Class Values, Types as values within a Programming Language Sure, but... by Andris Birkmanis Records by Andris Birkmanis	Bruce Rennie	2006-07-20 00:50
Forum topic	OOP Parallel class hierarchies Mixins or traits by Andris Birkmanis	dataangel	2006-07-18 19:50
Story	Scheme simulator for quantum computation Changes? by Andris Birkmanis	Ehud Lamm	2006-07-14 10:45
Story	Zipper-based file server/OS A Monadic Framework for Subcontinuations by Andris Birkmanis	shapr	2006-07-13 10:13
Story	Socially Responsive, Environmentally Friendly Logic Ideas? by Andris Birkmanis It does not work yet by Andris Birkmanis Some links by Andris Birkmanis	Andris Birkmanis	2006-07-13 09:06
Forum topic	Sociology of a Language Construct Which 5 and 6? by Andris Birkmanis	Ehud Lamm	2006-07-13 01:14
Forum topic	HLVM - High Level Virtual Machine toolkit for dynamic languages Looks like a bit too early by Andris Birkmanis	nat	2006-07-09 21:57
Forum topic	Church-Turning is False? Thanks by Andris Birkmanis No Epigram in Epigram by Andris Birkmanis But seriously by Andris Birkmanis	Bryan Turner	2006-06-28 09:36
Forum topic	The Role of Type Equality in Meta-Programming Worth a story by Andris Birkmanis	Niels Hoogeveen	2006-06-26 15:49
Forum topic	Why only 'minimal' languages Meta-programming by Andris Birkmanis	Karsten Wagner	2006-06-19 15:33
Forum topic	Relevance of Curry-Howard Or maybe not by Andris Birkmanis Thanks for reminder by Andris Birkmanis Aha by Andris Birkmanis Clocks by Andris Birkmanis So the real value of CH is by Andris Birkmanis Inheritance? by Andris Birkmanis Challenge to Epigram? by Andris Birkmanis I see by Andris Birkmanis Why would you want to? by Andris Birkmanis A new ball game by Andris Birkmanis ...	Klaus Ostermann	2006-06-12 13:36
Forum topic	Editing posts Promises by Andris Birkmanis	Jeff Nowakowski	2006-06-09 01:05
Story	Scrap your Nameplate	Andris Birkmanis	2006-06-05 18:48
Story	Nested commits for mobile calculi: extending Join	Andris Birkmanis	2006-06-05 08:08
Story	Continuations for Parallel Logic Programming Sure by Andris Birkmanis Thanks by Andris Birkmanis Simple and powerful by Andris Birkmanis Alice is too big by Andris Birkmanis AKL as a superset of join calculus by Andris Birkmanis	Andris Birkmanis	2006-06-03 20:05
Story	Icon Language Implementation and Unicon News ...and Icon via List monad by Andris Birkmanis A New Implementation of the Icon Language by Andris Birkmanis Job security? by Andris Birkmanis	Mark Evans	2006-06-02 02:36
Forum topic	"New story" template Consistency by Andris Birkmanis	Andris Birkmanis	2006-05-27 15:05
Story	Syntax, Semantics and all that Stuff Done by Andris Birkmanis	Andris Birkmanis	2006-05-26 09:21
Story	Transactional memory with data invariants Don't panic by Andris Birkmanis	Ehud Lamm	2006-05-25 12:01
Story	Building Interpreters by Composing Monads Spanning the composition by Andris Birkmanis More freedom, and more control by Andris Birkmanis Wow, thanks by Andris Birkmanis Monad transformers by Andris Birkmanis	Andris Birkmanis	2006-05-22 20:37
Forum topic	The Problem With Threads Monotonicity by Andris Birkmanis Maybe sketches by Andris Birkmanis Modular languages by Andris Birkmanis	Allan McInnes	2006-05-18 15:01
Story	Typed Concurrent Programming with Logic Variables Insider info? by Andris Birkmanis Unification could be spared? by Andris Birkmanis	Andris Birkmanis	2006-05-05 15:27
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