Lambda the Ultimate

type	title	author	last post
Forum topic	Chu Spaces Event-State Duality: The Enriched Case by Andris Birkmanis	Derek Elkins	2006-02-17 02:31
Forum topic	Blockquote color ...and slantness by Andris Birkmanis	Jeff Nowakowski	2006-02-10 02:20
Forum topic	Promising OS's from a Programming Language Perspective OS=Exokernel+PL RTS by Andris Birkmanis	John Carter	2006-01-30 17:36
Story	PiDuce Great! by Andris Birkmanis	Ehud Lamm	2006-01-25 11:36
Story	Spring School on Datatype-Generic Programming 2006 Agents polymorphic in capabilities by Andris Birkmanis	Ehud Lamm	2006-01-24 19:14
Story	Infrastructure Announcement "my recent posts" by Andris Birkmanis	Ehud Lamm	2006-01-23 06:49
Story	Constraint Programming	Andris Birkmanis	2006-01-12 13:11
Forum topic	Bruce Tate: Technologies that may challenge Java Metahumaneness by Andris Birkmanis Midnight haiku by Andris Birkmanis Some comments by Andris Birkmanis	shahbaz	2006-01-12 06:01
Story	An Operational Foundation for Delimited Continuations in the CPS Hierarchy	Andris Birkmanis	2005-12-24 15:00
Forum topic	Is this a new programming paradigm Stop pushing :) by Andris Birkmanis Game semantics? by Andris Birkmanis	mansu	2005-12-22 01:17
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
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