Lambda the Ultimate

type	title	author	last post
Story	Have scripting languages peaked? Neither is Java by Andris Birkmanis	Chris Rathman	2005-08-11 14:20
Forum topic	JavaMonads	Andris Birkmanis	2005-08-11 09:46
Forum topic	Coupling of concepts - good or bad Excellent summary by Andris Birkmanis	Andris Birkmanis	2005-08-09 19:24
Forum topic	Mercury Vs Prolog A quick response by Andris Birkmanis Especially proofs as programs by Andris Birkmanis	NoobProgrammer	2005-08-09 16:11
Story	Causal Nets Expressing it in CT language by Andris Birkmanis	Andris Birkmanis	2005-08-08 21:37
Story	Guarded Induction and Weakly Final Coalgebras in Dependent Type Theory Simple indeed by Andris Birkmanis Backlink by Andris Birkmanis	Andris Birkmanis	2005-08-08 17:23
Story	Trampolining Architectures Refocusing in Reduction Semantics by Andris Birkmanis Hope that was useful by Andris Birkmanis Probably a smoother introduction to trampolines and friends by Andris Birkmanis More in-depth (warning, categories) by Andris Birkmanis Luke? by Andris Birkmanis Pretty close by Andris Birkmanis	Andris Birkmanis	2005-08-08 06:27
Forum topic	A Lisp to JavaScript Compiler in 100 Lines How about Scheme? by Andris Birkmanis	Per Vognsen	2005-08-06 18:54
Forum topic	Memory fault and segmentation faults Uh by Andris Birkmanis Returned the favor :) by Andris Birkmanis Easy to enumerate, difficult to evaluate by Andris Birkmanis I am all for dependent/-able types by Andris Birkmanis Beheading empty list? by Andris Birkmanis	pakumar21	2005-08-04 21:46
Story	Programming Paradigms of the Andorra Kernel Language	Andris Birkmanis	2005-08-03 22:55
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
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