Lambda the Ultimate

type	title	author	last post
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
Story	Bidirectional fold and scan Lambda: the Ultimate Sequencer by Andris Birkmanis	Ehud Lamm	2005-06-13 18:20
Forum topic	Pure bigraphs: structure and dynamics (by Robin Milner) Getting informal by Andris Birkmanis Deriving process congruences from reaction rules by Andris Birkmanis	shahbaz	2005-06-12 06:46
Forum topic	What will Apple's move to Intel mean for Alternative Language Communities? You may be right, but... by Andris Birkmanis Scheme as a system PL by Andris Birkmanis C-style FFI by Andris Birkmanis	Peter J. Wasilko	2005-06-10 21:13
Story	XQuery 1.0 and XPath 2.0 Formal Semantics - Last Call Let gazillions FLW[O]Rs bloom by Andris Birkmanis XQuery and monads by Andris Birkmanis	Ehud Lamm	2005-06-10 13:05
Forum topic	Congrats in order Congratulations by Andris Birkmanis	Chris Rathman	2005-06-10 12:24
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
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