Lambda the Ultimate

type	title	author	last post
Story	In the beginning was game semantics You are welcome by Andris Birkmanis Introduction to Cirquent Calculus and Abstract Resource Semantic by Andris Birkmanis	Andris Birkmanis	2005-11-30 09:27
Forum topic	Ghost bumps	Andris Birkmanis	2005-11-29 20:53
Forum topic	Dependent types: literature, implementations and limitations ? C's void is unit in most cases by Andris Birkmanis Void type by Andris Birkmanis	David Teller	2005-11-24 11:55
Story	Putting Curry-Howard to Work Thanks by Andris Birkmanis Congestions by Andris Birkmanis Picking the nits by Andris Birkmanis	Andris Birkmanis	2005-11-21 18:55
Forum topic	CaSe SenSitIviTy! What is its purpose in programming language syntax? Not a language, but still by Andris Birkmanis	Riaan Moll	2005-11-20 23:29
Story	Extensible Records With Scoped Labels Telescoped names by Andris Birkmanis	Matt Hellige	2005-11-20 01:24
Story	The X10 Programming Language Oz users? by Andris Birkmanis	Ehud Lamm	2005-11-19 20:13
Story	What good is Strong Normalization in Programming Languages? My pi-machine hanged up! by Andris Birkmanis	shapr	2005-11-18 18:06
Forum topic	Classification according to type vs function - An anecdote Use a library by Andris Birkmanis	Riaan Moll	2005-11-17 01:23
Story	Battling Bugs: A Digital Quagmire User-friendly representation of capabilities by Andris Birkmanis Memory-safety fine distinctions by Andris Birkmanis	Paul Snively	2005-11-16 21:30
Forum topic	Programming Language Names Latin gegemony by Andris Birkmanis Could not agree more by Andris Birkmanis	Jeffery Walker	2005-11-10 08:23
Story	OOPSLA 2005 Reports ComponentManager.Eval by Andris Birkmanis Curry-Howard kata by Andris Birkmanis Procedural constraints as dependent types? by Andris Birkmanis	Ehud Lamm	2005-11-08 17:50
Forum topic	Jakarta Commons Monad, er, Chain Sorry by Andris Birkmanis	Andris Birkmanis	2005-11-03 21:12
Forum topic	Why Lists? Shifting arrays? by Andris Birkmanis	David B. Held	2005-11-01 21:15
Story	Multigame A Very High Level Language for Describing Board Games MtG oracle by Andris Birkmanis	Ehud Lamm	2005-10-21 13:17
Forum topic	Territorial Exception Handling Logically speaking by Andris Birkmanis	raould	2005-10-18 14:35
Story	Asynchronous Exceptions in Haskell	Andris Birkmanis	2005-10-15 20:18
Forum topic	"The Anatomy of a Loop" Lifting expressiveness (or elevating it?) by Andris Birkmanis	el-vadimo	2005-10-09 19:02
Story	Variables as Channels Oops by Andris Birkmanis Can programming be liberated from the Backus style? :-) by Andris Birkmanis	Klaus Ostermann	2005-10-05 22:45
Story	Ken Shan: Shift to Control No future? by Andris Birkmanis As opposed to throw? by Andris Birkmanis Unchecked exceptions by Andris Birkmanis Dynamic scoping of catches by Andris Birkmanis	Ehud Lamm	2005-10-05 12:04
Forum topic	From Perl Monks: "pissed off about functional programming" Closure vs. combinator? by Andris Birkmanis Turing thesis by Andris Birkmanis	tmoertel	2005-10-03 13:04
Forum topic	Active Objects with Syntax Directed Dialogs Where is the model? by Andris Birkmanis	Isaac Gouy	2005-09-30 18:12
Forum topic	Non-Lisp, natively extensible? Still worried by Andris Birkmanis	Nathan Sobo	2005-09-30 08:29
Forum topic	Most Productive FP Lang? OT: Scala plugin by Andris Birkmanis Exactly by Andris Birkmanis It depends by Andris Birkmanis It's a forum, after all by Andris Birkmanis Heh by Andris Birkmanis Yep by Andris Birkmanis	David B. Held	2005-09-26 03:14
Story	Guest Blogger Erik Meijer Visual Bananas Studio by Andris Birkmanis	Ehud Lamm	2005-09-17 20:02
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