Lambda the Ultimate

type	title	author	last post
Story	AOP blog and aosd discussion AOP and mixins by Andris Birkmanis Java is bad. So? by Andris Birkmanis Show me the contract by Andris Birkmanis	Ehud Lamm	2005-05-22 10:51
Forum topic	Call for Papers: ACM Symposium on Dynamic Languages I will introduce more confusion by Andris Birkmanis Edit time and runtime by Andris Birkmanis Edit time by Andris Birkmanis	rwuyts	2005-05-17 17:28
Forum topic	A question about COBOL! No satellite minis? by Andris Birkmanis	yuhong	2005-05-15 03:16
Story	subtext: Uncovering the simplicity of programming Documents-as-actors by Andris Birkmanis	Ehud Lamm	2005-05-12 20:49
Forum topic	Links Partially agree by Andris Birkmanis Nobody is teaching them by Andris Birkmanis Costs/benefits model? by Andris Birkmanis For proprietary frameworks? by Andris Birkmanis Language vs. Compiler? by Andris Birkmanis	Philip Wadler	2005-05-07 10:23
Forum topic	expressivity of lisp/scheme but speed of assembly/C/C++ Are only a-machines covered? by Andris Birkmanis As Fast As C by Andris Birkmanis	shahbaz	2005-05-07 06:27
Story	Why do computers stop and what can be done about it? Several things by Andris Birkmanis (De)serialization by Andris Birkmanis Typed (un)marshalling in Java by Andris Birkmanis	Luke Gorrie	2005-05-05 15:07
Story	Generic Accumulations: Battery-powered Bananas	Andris Birkmanis	2005-05-04 18:38
Forum topic	mechanics of designing and implementing a language Comprehending Queries by Andris Birkmanis As long as it's black by Andris Birkmanis Types by Andris Birkmanis Premonoidal/binoidal programming by Andris Birkmanis	shahbaz	2005-05-02 09:36
Forum topic	Virtual Machine and Runtime Framework Some concerns by Andris Birkmanis Calculus? Maybe logic? Type system? by Andris Birkmanis What makes it different? by Andris Birkmanis	Nicolas Cannasse	2005-04-29 13:41
Forum topic	OO runtime graphs are scale-free Almost by Andris Birkmanis	el-vadimo	2005-04-27 21:51
Forum topic	Restructuring Partitioned Normal Form Relations Without Information Loss No categories by Andris Birkmanis	Andris Birkmanis	2005-04-27 10:10
Forum topic	Introduction to computability logic Depends which linear logic by Andris Birkmanis Adding types by Andris Birkmanis Welcome to the game :) by Andris Birkmanis Halting metaproblem by Andris Birkmanis Can content subsume structure? by Andris Birkmanis Substitution preserves finiteness of runs by Andris Birkmanis Home work by Andris Birkmanis Bump - a swelling of tissue usually resulting from a blow by Andris Birkmanis Turing machines as their essential, ideal archetype by Andris Birkmanis Classical quantifiers are blind by Andris Birkmanis ...	Andris Birkmanis	2005-04-25 07:51
Forum topic	Sapir-Whorf again? Linguists agree by Andris Birkmanis Well... by Andris Birkmanis	Andris Birkmanis	2005-04-24 14:55
Forum topic	Why Dependent Types Matter Dependent types for asymmetric encryption by Andris Birkmanis Wow, thanks by Andris Birkmanis "Sliders"? by Andris Birkmanis	Daniel Yokomizo	2005-04-24 09:20
Forum topic	Constructing Sequent Rules for Generalized Propositional Logics	Andris Birkmanis	2005-04-21 18:05
Forum topic	Qi 6.1 released Sequent calculus as a base for a type system by Andris Birkmanis	Tayssir John Gabbour	2005-04-21 17:24
Forum topic	How widespread are inhouse DSLs? Strange by Andris Birkmanis	Ehud Lamm	2005-04-19 16:42
Story	Datatype Laws without Signatures	Andris Birkmanis	2005-04-19 07:56
Forum topic	What happened to Charity? A lazy PL? by Andris Birkmanis	Andris Birkmanis	2005-04-19 06:46
Forum topic	According to Allen Holub programming is now a liberal art. When did this happen? What about philosophy? by Andris Birkmanis	ade_oshineye	2005-04-16 22:46
Forum topic	Denotational semantics of a DSL? Thanks to everybody by Andris Birkmanis Ok then by Andris Birkmanis Is the early Pascal a general purpose language? by Andris Birkmanis Is lambda calculus a general purpose programming language? by Andris Birkmanis Found so far by Andris Birkmanis	Andris Birkmanis	2005-04-15 19:14
Story	Dominus talks about HO Perl Sorry :( by Andris Birkmanis Agree by Andris Birkmanis	Charles A Stewart	2005-04-14 23:18
Story	CogPrints - if you believe PLs are languages	Andris Birkmanis	2005-04-13 18:44
Forum topic	Links Slides The sheer depth by Andris Birkmanis	Ethan Aubin	2005-04-12 14:55
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