Lambda the Ultimate

type	title	author	last post
Story	Bottom-Up beta-Substitution: Uplinks and lambda-DAGs	Andris Birkmanis	2005-06-10 00:49
Story	On Evaluation Contexts, Continuations, and the Rest of Computation S-categories?.. by Andris Birkmanis	Andris Birkmanis	2005-06-08 15:54
Forum topic	Avionics Control Systems DSL from 1994, by Doug Lea	Andris Birkmanis	2005-06-05 13:06
Forum topic	Funny characters inference	Andris Birkmanis	2005-06-04 12:25
Forum topic	What is so bad about compiling? Why? by Andris Birkmanis What debugger shows me by Andris Birkmanis	Hank Thediek	2005-06-03 15:44
Story	Language Design 101 More internal DSLs by Andris Birkmanis	Ehud Lamm	2005-06-03 12:27
Forum topic	DSL Error Handling in an Object Oriented context How abstract is that AST? by Andris Birkmanis EMF as DSL platform by Andris Birkmanis	michaels	2005-05-27 08:39
Story	Parameterized Unit Tests Abstract interpretation? by Andris Birkmanis	Ehud Lamm	2005-05-27 01:31
Forum topic	AST intermediate representations Race condition :-) by Andris Birkmanis XML is concrete by Andris Birkmanis	Christopher Campbell	2005-05-25 12:29
Forum topic	LLVM 1.5 has been released! PLTers for lawyers by Andris Birkmanis FSF policy by Andris Birkmanis	Chris Lattner	2005-05-23 18:50
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
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