Lambda the Ultimate

type	title	author	last post
Story	From shift and reset to polarized linear logic OT: It's in the eye of the beholder by Andris Birkmanis Hmm by Andris Birkmanis A Type-Theoretic Foundation of Continuations and Prompts by Andris Birkmanis Chung-chieh Shan's homepage by Andris Birkmanis Spoiled by TeX tutorials :-) by Andris Birkmanis	Andris Birkmanis	2009-03-10 08:47
Story	Design Concepts in Programming Languages	Andris Birkmanis	2009-02-03 21:52
Forum topic	Shoot-out: most annoying compiler error message Not a compiler but... by Andris Birkmanis	marco	2008-12-21 21:45
Forum topic	yet another oop formalization: class as abstract automata [Admin] Disclaimer and User Name by Andris Birkmanis	A. G. Piskunov	2008-11-25 20:27
Forum topic	Q: Modularizing SQL? Relational algebra vs. relational calculus by Andris Birkmanis	sciomako	2008-11-15 13:40
Forum topic	Object Oriented Programming + Referential Transparency ...and the PDF to search by Andris Birkmanis	mjstahl	2008-10-30 17:40
Forum topic	Common Lisp Exception Handling Transactions? by Andris Birkmanis	SamK	2008-10-20 00:55
Story	A Framework for Comparing Models of Computation Ideas for extension? by Andris Birkmanis	Andris Birkmanis	2008-09-13 08:33
Forum topic	Let's make a programming language! Concrete or abstract syntax? by Andris Birkmanis A customer for you :-) by Andris Birkmanis Not having computer-based computing as its target domain by Andris Birkmanis Why should we? by Andris Birkmanis	Achilleas Margaritis	2008-09-12 09:21
Story	Computation Orchestration: A Basis for Wide-Area Computing Coupling? by Andris Birkmanis	neelk	2008-09-11 17:15
Story	Phil Windley's DSL adventures Left inverse by Andris Birkmanis	Ehud Lamm	2008-09-09 07:18
Forum topic	Exploiting parser ambiguity Thanks by Andris Birkmanis Sheafification... by Andris Birkmanis	bdenckla	2008-09-07 16:12
Forum topic	Stock exchanges: language design aspect Right by Andris Birkmanis Contracts Strongly Related by Andris Birkmanis Thanks! by Andris Birkmanis	Andris Birkmanis	2008-09-07 06:05
Story	Escape from Zurg: An Exercise in Logic Programming Through the Looking Glass? :) by Andris Birkmanis	Andris Birkmanis	2008-08-27 02:45
Story	Where is everyone? Plenty! by Andris Birkmanis Planetary Aspects? by Andris Birkmanis	Ehud Lamm	2008-08-20 14:01
Story	J&: Nested Intersection for Scalable Software Composition	Andris Birkmanis	2008-08-12 20:10
Forum topic	Practical Bits of Making a Compiler for a New Language Too many paradigms by Andris Birkmanis	Eli Sennesh	2008-08-05 22:36
Story	Will Wright Presents Spore... and a New Way to Think About Games DSL perspective by Andris Birkmanis Human factor? by Andris Birkmanis Kolmogorov again? by Andris Birkmanis Procedural? by Andris Birkmanis	Ehud Lamm	2008-06-06 16:30
Story	Derivatives and dissections of data types	Andris Birkmanis	2008-04-23 00:45
Forum topic	Language Oriented Programming Failure is only an opportunity to begin again more intelligently by Andris Birkmanis Code cannot lie by Andris Birkmanis	drc	2008-02-07 05:42
Forum topic	Trickles: A Stateless Network Stack for Improved Scalability, Resilience and Flexibility Egress routers only by Andris Birkmanis Soft state in routers? by Andris Birkmanis	Derek Elkins	2008-01-22 19:01
Forum topic	(newbie question) Covariance and contravariance Covariance of Arrays by Andris Birkmanis	chihiro	2008-01-15 21:00
Forum topic	Featherweight JavaScript? Scoping by Andris Birkmanis	Andris Birkmanis	2008-01-11 00:24
Forum topic	Nested Schedulers: A Tree Is Not Enough? Regehr's Dissertation by Andris Birkmanis Thanks by Andris Birkmanis Concurrent lazy search by Andris Birkmanis Still a bit different by Andris Birkmanis Priority Inversion by Andris Birkmanis	Andris Birkmanis	2008-01-04 09:09
Story	Democratizing the Cloud using Microsoft Live Labs Volta Automatic partitioning by Andris Birkmanis	Erik Meijer	2007-12-12 02:13
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