Lambda the Ultimate

type	title	author	last post
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
Story	Joshua Bloch: "Nearly All Binary Searches Broken" Putting lenses to work by Andris Birkmanis	Ehud Lamm	2009-05-15 15:20
Forum topic	muSE - an embeddable scheme dialect Fusional languages are hard to lex by Andris Birkmanis	Srikumar Subramanian	2009-04-28 20:55
Forum topic	Algebra Of Programming (Bird, De Moor) Reflexive addition? by Andris Birkmanis	shahbaz	2009-04-27 20:22
Story	ACM Queue: A Conversation with Alan Kay Formality by necessity by Andris Birkmanis	Ehud Lamm	2009-03-24 18:50
Story	Combining computational effects Notions of Computation Determine Monads by Andris Birkmanis	Andris Birkmanis	2009-03-13 14:27
Story	From shift and reset to polarized linear logic OT: It's in the eye of the beholder by Andris Birkmanis Hmm by Andris Birkmanis A Type-Theoretic Foundation of Continuations and Prompts by Andris Birkmanis Chung-chieh Shan's homepage by Andris Birkmanis Spoiled by TeX tutorials :-) by Andris Birkmanis	Andris Birkmanis	2009-03-10 08:47
Story	Design Concepts in Programming Languages	Andris Birkmanis	2009-02-03 21:52
Forum topic	Shoot-out: most annoying compiler error message Not a compiler but... by Andris Birkmanis	marco	2008-12-21 21:45
Forum topic	yet another oop formalization: class as abstract automata [Admin] Disclaimer and User Name by Andris Birkmanis	A. G. Piskunov	2008-11-25 20:27
Forum topic	Q: Modularizing SQL? Relational algebra vs. relational calculus by Andris Birkmanis	sciomako	2008-11-15 13:40
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