Lambda the Ultimate

type	title	author	last post
Story	Chickenfoot ...and newer versions of Firefox by Andris Birkmanis	Ehud Lamm	2005-12-21 10:37
Forum topic	Virtual machine implementation and dynamic languages Delimited continuations by Andris Birkmanis	Mike Summers	2005-12-20 18:13
Story	adbmaL Discontinuos scope by Andris Birkmanis CINNI by Andris Birkmanis Dynamic vs. static... oh, never mind by Andris Birkmanis For a quick reference by Andris Birkmanis Side conditions or explicit "descoping"? by Andris Birkmanis	Andris Birkmanis	2005-12-20 04:49
Forum topic	CPS without GC? Pre-Scheme? by Andris Birkmanis Automatically Restructuring Programs for the Web by Andris Birkmanis	Toby Hutton	2005-12-19 10:14
Story	Envisioning a New Language: A Conversation With Victoria Livschitz Erlang again by Andris Birkmanis	Ehud Lamm	2005-12-11 23:52
Story	Misc Links Standards are not readable by Andris Birkmanis	Ehud Lamm	2005-12-07 21:23
Forum topic	Conjunction types Why "principal" by Andris Birkmanis IntegralString by Andris Birkmanis Sets of values, not of features by Andris Birkmanis Intersection types, seconded by Andris Birkmanis	jimdesu	2005-12-05 16:21
Forum topic	The building of robust software Dependent types? by Andris Birkmanis Forgive, but grumble by Andris Birkmanis	mjstahl	2005-12-02 19:17
Forum topic	Do we talk types over the phone? Wow, a DSL by Andris Birkmanis Not reflection or serialization by Andris Birkmanis	Andris Birkmanis	2005-12-02 09:10
Forum topic	Battle of the Languages II Modularization exercise by Andris Birkmanis	dav0	2005-12-01 06:40
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
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