Lambda the Ultimate

type	title	author	last post
Story	Diagram showing all programming paradigms and their relationships No SQL by Andris Birkmanis Cells and call/cc. Or delimited continuations. by Andris Birkmanis What's a paradigm? by Andris Birkmanis Polytypic programming? What, no types? by Andris Birkmanis Hasse diagram? by Andris Birkmanis Imperative SQL by Andris Birkmanis	Peter Van Roy	2012-01-13 17:06
Story	Haskell for C Programmers Good variables by Andris Birkmanis	Mark Evans	2011-09-12 18:37
Story	Retrospective: The Essence of Compiling with Continuations Another retrospective seems to disagree by Andris Birkmanis	Ehud Lamm	2011-07-11 18:08
Forum topic	Multi-Return Function Call Useful indeed by Andris Birkmanis	Matthew Morgan	2011-04-14 05:45
Story	Getting Started ReadScheme by Andris Birkmanis	Ehud Lamm	2011-03-16 17:43
Story	Scala Team Wins ERC Grant Whose money by Andris Birkmanis	Ehud Lamm	2011-01-18 05:47
Story	The Fortress Language Spec v0.618 It was by Andris Birkmanis	Dave Herman	2010-12-13 04:24
Forum topic	expressivity of "idiomatic C++" Back to expressivity by Andris Birkmanis It happens by Andris Birkmanis Reframing by Andris Birkmanis An unexpected bonus by Andris Birkmanis Phase limitation by Andris Birkmanis Errata by Andris Birkmanis Smooth numbers - generic Hamming by Andris Birkmanis	el-vadimo	2010-11-10 22:56
Forum topic	Lisps, First-Class Special Forms, Fexprs, The Kernel Programming Language Trees are not eval by Andris Birkmanis LINQ? by Andris Birkmanis	Peter Michaux	2010-10-28 11:03
Story	Why Undergraduates Should Learn the Principles of Programming Languages Subjective theory of value, time preference, and sound money by Andris Birkmanis Apprenticeship by Andris Birkmanis Is PLT really fundamental (for business)? by Andris Birkmanis Confused by Andris Birkmanis Hand waiving? Or class struggle? by Andris Birkmanis	Z-Bo	2010-07-15 09:08
Forum topic	Seeking nearly anything re: so called language "bootstrapping" process What types are Ts? by Andris Birkmanis	scottmcl	2010-07-10 22:04
Story	Functional Pearl: Species and Functors and Types, Oh My! Bigger clarification by Andris Birkmanis Thank you for by Andris Birkmanis k-permutation? by Andris Birkmanis	Matt Hellige	2010-07-05 09:38
Forum topic	Why type systems are interesting Java might be fuzzy by Andris Birkmanis Javan wrong ways by Andris Birkmanis Safety before security by Andris Birkmanis Stages, strata, types. by Andris Birkmanis Maps are crucial for finding a path... by Andris Birkmanis Paths. Speed. Immortality. by Andris Birkmanis ...what would otherwise have been a type error... by Andris Birkmanis Yes, it is not by Andris Birkmanis Dynamically-typed values => Untyped names by Andris Birkmanis Inductive types in constructive languages by Andris Birkmanis ...	Anton van Straaten	2010-03-08 19:47
Story	Super and Inner — Together at Last! Template methods by Andris Birkmanis	Andris Birkmanis	2010-02-13 00:09
Forum topic	The Next Mainstream Programming Languages Garbage-collecting threads? by Andris Birkmanis The difference lies in application by Andris Birkmanis Oops, CPS is a bad bet by Andris Birkmanis Just curious by Andris Birkmanis No, but CPS is a good bet by Andris Birkmanis Open classes? by Andris Birkmanis "How Much Non-strictness do Lenient Programs Require?" by Andris Birkmanis	Per Vognsen	2010-01-24 13:32
Forum topic	Swarm now based on Scala 2.8, uses delimited continuations Possible typo by Andris Birkmanis	sanity	2009-10-02 18:59
Forum topic	LEGO Turing Machine Transition Function not Demoed by Andris Birkmanis	Leo Horovitz	2009-09-13 15:37
Story	Perl Cannot Be Parsed: A Formal Proof	Andris Birkmanis	2009-09-10 17:08
Forum topic	Advanced Types in Qi Type tarpit by Andris Birkmanis	shahbaz	2009-08-02 17:00
Forum topic	Human Factors Research On Programming Language Syntax Epigram by Andris Birkmanis	Peter J. Wasilko	2009-07-20 12:13
Forum topic	The Church-Turing Thesis: Breaking the Myth That's trivial by Andris Birkmanis Sure you can by Andris Birkmanis	naasking	2009-07-18 00:45
Forum topic	Total functional language self interpreter? Uninhabited types by Andris Birkmanis Typing grace by Andris Birkmanis References? by Andris Birkmanis	jason stumpf	2009-06-27 13:57
Forum topic	Stupid Question. Equational calculi vs. algebras by Andris Birkmanis Cocalculi wanted by Andris Birkmanis Wow... by Andris Birkmanis A framework? by Andris Birkmanis A strawman for others to beat upon by Andris Birkmanis	Matt Estes	2009-06-26 20:47
Story	Code Reading PietPiet by Andris Birkmanis	Ehud Lamm	2009-06-04 14:52
Forum topic	the Chinese natual language Survey? by Andris Birkmanis	Zhu Chongkai	2009-06-01 13:06
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