Lambda the Ultimate

type	title	author	last post
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
Forum topic	Premonoidal categories and notions of computation Thanks by Andris Birkmanis	Andris Birkmanis	2005-04-11 07:03
Story	MetaKlaim An Idealized MetaML by Andris Birkmanis	Bryn Keller	2005-04-09 14:48
Story	Recovering resources in the pi-calculus Region analysis and a pi-calculus with groups by Andris Birkmanis	Andris Birkmanis	2005-04-05 21:54
Story	How to remove a dynamic prompt: static and dynamic delimited continuation operators are equally expressible Categorical Structure of Continuation by Andris Birkmanis System/user border by Andris Birkmanis	Ehud Lamm	2005-04-03 13:54
Story	Games for Logic and Programming Languages: Etaps'05 Impatient to see the report by Andris Birkmanis	Andris Birkmanis	2005-04-02 08:55
Story	Fold Must Fold! XFortran? Semantic Fortran? by Andris Birkmanis Way to go! by Andris Birkmanis	Noel	2005-04-02 03:13
Forum topic	FAQ typo	Andris Birkmanis	2005-03-31 12:06
Forum topic	Proper tail reflection? Why not by Andris Birkmanis Will it be Bald in the end? by Andris Birkmanis	Andris Birkmanis	2005-03-27 09:42
Story	Grady Booch: AOSD keynote I am afraid they took that look :( by Andris Birkmanis Yes, it is tricky by Andris Birkmanis	Ehud Lamm	2005-03-25 16:04
Forum topic	Embedding one language in another Metaprogramming by Andris Birkmanis Quines and polyglots by Andris Birkmanis	sudarshan	2005-03-24 19:10
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