Lambda the Ultimate

type	title	author	last post
Story	OOP Is Much Better in Theory Than in Practice Marry OOP to FP by Andris Birkmanis TM has no select(2) by Andris Birkmanis Computers are more than calculators of functions by Andris Birkmanis Single user? by Andris Birkmanis Don't forget interactive programs by Andris Birkmanis	Ehud Lamm	2007-06-18 22:39
Story	LC for kids (alligators, oh my!) Chimeras by Andris Birkmanis Interactive fun without non-trivial opponent by Andris Birkmanis Not a game by Andris Birkmanis	Ehud Lamm	2007-06-01 22:08
Forum topic	Total Functional Programming Natural queasiness by Andris Birkmanis Resumptions by Andris Birkmanis	Greg Buchholz	2007-05-27 20:18
Forum topic	Can referential transparency be bad? (puzzle included) Verified by Andris Birkmanis StablePtr by Andris Birkmanis	Andris Birkmanis	2007-05-12 00:53
Story	Foundations Of Temporal Query Languages	Andris Birkmanis	2007-05-09 10:33
Forum topic	Why do they program in C++? Tuples in Java? by Andris Birkmanis	David Waern	2007-02-19 12:09
Story	Ninety-nine Lisp Problems For additional points by Andris Birkmanis 99 Haskell problems by Andris Birkmanis	Ehud Lamm	2007-01-24 18:03
Story	A Visual Environment for Developing Context-Sensitive Term Rewriting Systems Dependent Types and Explicit Substitutions by Andris Birkmanis	Ehud Lamm	2007-01-23 19:15
Forum topic	Intellisense for dynamic languages Plugging Haskell In by Andris Birkmanis Intersection types or abstract interpretation by Andris Birkmanis	tlareywi	2007-01-20 18:00
Story	Locus Solum: From the rules of logic to the logic of rules	Andris Birkmanis	2007-01-20 06:18
Forum topic	Interlanguage Migration: From Scripts to Programs Actually yes by Andris Birkmanis Distributed testing by Andris Birkmanis	dbfaken	2007-01-18 18:51
Story	Beauty in the Beast	Andris Birkmanis	2007-01-16 11:09
Forum topic	Call by push-value That's a tagged sum by Andris Birkmanis Asymmetric simplified tuples in JWA by Andris Birkmanis For what it's worth by Andris Birkmanis	Denis Bredelet -jido	2007-01-16 11:07
Story	Extending the Multilisp Sponsor Model Ada? by Andris Birkmanis	Andris Birkmanis	2007-01-12 19:29
Forum topic	Are Frames and Slots anything more that OO with a different name? No, judging by the TOC by Andris Birkmanis	JamesLitsios	2007-01-10 03:59
Story	A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations Popularization by Andris Birkmanis	Andris Birkmanis	2007-01-09 18:53
Forum topic	(Even more) theorems for free? Something needed by Andris Birkmanis Continuations by Andris Birkmanis Unused arguments by Andris Birkmanis Automatic generation of free theorems by Andris Birkmanis Weakening requirements by Andris Birkmanis Inferring type isomorphisms generically, but not uniquelly by Andris Birkmanis Not using libraries by Andris Birkmanis	Andris Birkmanis	2007-01-03 21:55
Story	Practical Type Inference Based on Success Typings Combining strong and success typing by Andris Birkmanis	James Hague	2007-01-02 15:11
Forum topic	Survey of delay constructs in logic/constraint PLs? ...and STM by Andris Birkmanis	Andris Birkmanis	2007-01-02 13:49
Story	AgentSheets: End-User Programing (and Secret Lisp Success Story!) SQL as a base for event stream processing DSL by Andris Birkmanis AOD, not AOP by Andris Birkmanis Clarification by Andris Birkmanis Stream programming - a buzzword, DSL, or a paradigm? by Andris Birkmanis	Brent Fulgham	2006-12-31 23:19
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
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