Lambda the Ultimate

type	title	author	last post
Story	Comparing Approaches to Generic Programming in Haskell Polytypic is difficult without types by Andris Birkmanis Design patterns require writing boilerplate by Andris Birkmanis Sure by Andris Birkmanis Ad hoc polytypism by Andris Birkmanis Read the conclusions by Andris Birkmanis	Andris Birkmanis	2006-12-23 16:27
Story	Elements of Interaction Polyphonic C#/C-omega by Andris Birkmanis	Luke Gorrie	2006-12-17 23:10
Forum topic	Why type systems are interesting - part II Is Epigram too short? by Andris Birkmanis Theorems for free! by Andris Birkmanis Hopefully on topic, too by Andris Birkmanis While generally sharing the by Andris Birkmanis Are GADT more general than dependent types? by Andris Birkmanis Any enumerable then? by Andris Birkmanis	Ehud Lamm	2006-12-08 01:38
Forum topic	Understanding continuations On Evaluation Contexts, Continuations, and the Rest of the by Andris Birkmanis Not too non-theoretical papers by Andris Birkmanis	Keith Devens	2006-12-06 23:43
Story	OOPSLA 2005: Io, a small programming language Reverse engineering? by Andris Birkmanis Io == Pi? by Andris Birkmanis	Ehud Lamm	2006-11-21 23:09
Story	Second Life Faces Threat to its Virtual Economy Draft course for moving on-topic by Andris Birkmanis	Paul Snively	2006-11-18 09:04
Story	Failure-oblivious computing Pointer as object identity? by Andris Birkmanis	Anton van Straaten	2006-10-04 20:21
Story	Visual Basic and LINQ Mixed identity by Andris Birkmanis	Erik Meijer	2006-09-26 11:35
Forum topic	Apple: procedural -> OO -> AOP -> advanced procedural An interesting statement by Andris Birkmanis	Isaac Gouy	2006-08-28 13:35
Forum topic	Your favourite editor/IDE Not only casts by Andris Birkmanis Nitpicking by Andris Birkmanis Refactoring by Andris Birkmanis Some of the benefits by Andris Birkmanis	Josef Svenningsson	2006-08-27 07:38
Forum topic	Gamma formalism Similar to Seam? by Andris Birkmanis	Kay Schluehr	2006-07-28 22:35
Story	Interface Automata Some comments by Andris Birkmanis	Andris Birkmanis	2006-07-25 15:41
Story	The right default: concurrent components with message passing ADT is simpler than state by Andris Birkmanis Side-note on state by Andris Birkmanis	Peter Van Roy	2006-07-22 16:37
Forum topic	First Class Values, Types as values within a Programming Language Sure, but... by Andris Birkmanis Records by Andris Birkmanis	Bruce Rennie	2006-07-20 00:50
Forum topic	OOP Parallel class hierarchies Mixins or traits by Andris Birkmanis	dataangel	2006-07-18 19:50
Story	Scheme simulator for quantum computation Changes? by Andris Birkmanis	Ehud Lamm	2006-07-14 10:45
Story	Zipper-based file server/OS A Monadic Framework for Subcontinuations by Andris Birkmanis	shapr	2006-07-13 10:13
Story	Socially Responsive, Environmentally Friendly Logic Ideas? by Andris Birkmanis It does not work yet by Andris Birkmanis Some links by Andris Birkmanis	Andris Birkmanis	2006-07-13 09:06
Forum topic	Sociology of a Language Construct Which 5 and 6? by Andris Birkmanis	Ehud Lamm	2006-07-13 01:14
Forum topic	HLVM - High Level Virtual Machine toolkit for dynamic languages Looks like a bit too early by Andris Birkmanis	nat	2006-07-09 21:57
Forum topic	Church-Turning is False? Thanks by Andris Birkmanis No Epigram in Epigram by Andris Birkmanis But seriously by Andris Birkmanis	Bryan Turner	2006-06-28 09:36
Forum topic	The Role of Type Equality in Meta-Programming Worth a story by Andris Birkmanis	Niels Hoogeveen	2006-06-26 15:49
Forum topic	Why only 'minimal' languages Meta-programming by Andris Birkmanis	Karsten Wagner	2006-06-19 15:33
Forum topic	Relevance of Curry-Howard Or maybe not by Andris Birkmanis Thanks for reminder by Andris Birkmanis Aha by Andris Birkmanis Clocks by Andris Birkmanis So the real value of CH is by Andris Birkmanis Inheritance? by Andris Birkmanis Challenge to Epigram? by Andris Birkmanis I see by Andris Birkmanis Why would you want to? by Andris Birkmanis A new ball game by Andris Birkmanis ...	Klaus Ostermann	2006-06-12 13:36
Forum topic	Editing posts Promises by Andris Birkmanis	Jeff Nowakowski	2006-06-09 01:05
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