Lambda the Ultimate

type	title	author	last post
Forum topic	On the Revival of Dynamic Languages ...and multi-user development by Andris Birkmanis To be precise by Andris Birkmanis Castigating Java by Andris Birkmanis	Isaac Gouy	2005-08-03 18:41
Forum topic	Bigloo.NET: compiling Scheme to .NET CLR Knowing your goals by Andris Birkmanis	Isaac Gouy	2005-08-03 16:46
Story	A Typed Intermediate Language for Compiling Multiple Inheritance Mixins, traits, etc. by Andris Birkmanis	Ehud Lamm	2005-08-01 04:12
Forum topic	The Complexity Zoo "What is an Efficient Implementation of the lambda-calculus?" by Andris Birkmanis Aha by Andris Birkmanis	Andris Birkmanis	2005-07-28 04:17
Forum topic	Concerning introspection and compilation. I doubt that by Andris Birkmanis Reflection bytecodes by Andris Birkmanis Motivation and background by Andris Birkmanis Bytecode manipulation & intercession, metadata & introspection by Andris Birkmanis	mjstahl	2005-07-28 03:32
Story	Concurrent Clustered Programming Hereditary lines by Andris Birkmanis Comparison to Oz/Alice? by Andris Birkmanis	Andris Birkmanis	2005-07-27 14:15
Forum topic	GADTs + Extensible Kinds = Dependent Programming Sure by Andris Birkmanis	Jim Apple	2005-07-26 19:07
Forum topic	The Limits of the Semantic Extensibility of Computer Programs That's Greenspun's Tenth Rule of Programming by Andris Birkmanis	johnnyb	2005-07-26 08:39
Forum topic	BitC, a new OS implementation language Coalgebraic types? by Andris Birkmanis	Alexandre Richer	2005-07-25 19:48
Story	A Concurrent Lambda Calculus with Futures	Andris Birkmanis	2005-07-17 14:05
Forum topic	Why type systems are interesting - part III: latent types Continuous sliders by Andris Birkmanis	Anton van Straaten	2005-07-14 01:39
Story	Why Dependent Types Matter TeXlipse by Andris Birkmanis Levels of reuse in this tower of abstractions by Andris Birkmanis Epigram, dialog, play by Andris Birkmanis GUI for Epigram by Andris Birkmanis	Ehud Lamm	2005-07-05 08:34
Forum topic	Functions as Classes: Which languages? Sym by Andris Birkmanis	cdiggins	2005-07-02 12:45
Forum topic	Lambda-mu	Andris Birkmanis	2005-06-30 07:46
Forum topic	Why recursing is better than looping Writers/readers by Andris Birkmanis Almost agree by Andris Birkmanis	johnnyb	2005-06-29 20:27
Story	A Formulae-as-Types Interpretation of Subtractive Logic A confluent lambda-calculus with a catch/throw mechanism by Andris Birkmanis	Andris Birkmanis	2005-06-29 12:18
Story	Lambdascope	Andris Birkmanis	2005-06-28 20:37
Story	Revisiting coroutines Not exactly by Andris Birkmanis	Andris Birkmanis	2005-06-28 07:04
Story	How To Read a Paper No, use trivial logic by Andris Birkmanis Fractal reading by Andris Birkmanis	Ehud Lamm	2005-06-27 11:09
Story	A Monadic Framework for Subcontinuations Why 4 operators? by Andris Birkmanis Back to reading by Andris Birkmanis You'd need some state by Andris Birkmanis Glitches in the Matrix by Andris Birkmanis Deja vu by Andris Birkmanis	Andris Birkmanis	2005-06-24 14:19
Story	Crystal Scheme: A Language for Massively Parallel Machines	Andris Birkmanis	2005-06-22 15:35
Forum topic	Garbage collecting computations Subcontinuations by Andris Birkmanis Thanks! by Andris Birkmanis	Andris Birkmanis	2005-06-22 07:27
Story	Tim Bray: On Threads References by Andris Birkmanis Another suggestion - joins by Andris Birkmanis	Ehud Lamm	2005-06-21 14:31
Story	Java Generics, Arrays, and Comparables Setting the type, err, kind by Andris Birkmanis	Ehud Lamm	2005-06-19 20:13
Story	Computerworld Development Survey "Speak softly" languages by Andris Birkmanis	Ehud Lamm	2005-06-17 06:49
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