Lambda the Ultimate

type	title	author	last post
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
Story	A Monadic Semantics for Core Curry	Andris Birkmanis	2006-05-03 08:59
Forum topic	Persistent functional databases No taxation without communication. Er, no I/O... by Andris Birkmanis Turing, Computing and Communication by Andris Birkmanis History as total order by Andris Birkmanis "Read me first" by Andris Birkmanis	Robbert van Dalen	2006-04-26 07:13
Story	E Thesis: Robust Composition Composable memory transactions by Andris Birkmanis Relevance of join calculus by Andris Birkmanis Functional nets by Andris Birkmanis Not sure by Andris Birkmanis References to join calculus? by Andris Birkmanis	Chris Rathman	2006-04-21 07:16
Story	foldl and foldr Cheating by Andris Birkmanis	Noel	2006-04-20 16:34
Story	Design Patterns as Higher-Order Datatype-Generic Programs. Creational patterns - use pi? by Andris Birkmanis	Ehud Lamm	2006-04-15 01:01
Story	Active Libraries and Universal Languages Thanks by Andris Birkmanis	Andris Birkmanis	2006-04-13 09:37
Story	Introduction to the Java EE 5 Platform False claims are even worse by Andris Birkmanis Workflow engines by Andris Birkmanis	Ehud Lamm	2006-04-06 10:36
Forum topic	"Semi-complete" Boolean Evaluation? That's what (good) type systems are for by Andris Birkmanis	Riaan Moll	2006-03-30 17:56
Story	Towards Applicative Relational Programming I am not sure what you mean by Andris Birkmanis	Charles Stewart	2006-03-30 15:46
Story	TyPiCal: Type-based static analyzer for the Pi-Calculus Alternative link by Andris Birkmanis	Ehud Lamm	2006-03-29 08:11
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