Lambda the Ultimate

   

Home Feedback FAQ Getting Started Discussions Site operation discussions Recent Posts (new topic) Departments Courses Research Papers Design Docs Quotations Genealogical Diagrams Archives User login Username: Password: Create new account Request new password Navigation recent posts

Home » user account steck view track type title author last post  Story Dependent Types for JavaScript PDF in Chrome by steck naasking 2013-04-18 10:44 Story From shift and reset to polarized linear logic Common misspelling by steck Andris Birkmanis 2009-03-10 08:47 Forum topic Dimensional analysis typing XeLda by steck Zombywuf 2007-02-23 07:54 Story Jumbo Lambda Calculus Functions in jumbo lambda-calculus by steck Matt Hellige 2006-05-16 00:54 Story XLinq: XML Programming Refactored (The Return Of The Monoids) some suggestions by steck Erik Meijer 2005-09-30 21:17 Story Ada 2006 Documents Right on time by steck Ehud Lamm 2005-04-21 20:45 Story Recovering resources in the pi-calculus Computational Shape? FISh Pi? by steck Andris Birkmanis 2005-04-05 21:54 Story Fold Must Fold! Another suggestion by steck Noel 2005-04-02 03:13 Logs: Hack The Planet ; JavaLobby ; Daily Python-URL ; Daily WTF ; PHP everywhere ; (more) Wikis: WikiWiki ; Erlang ; Common Lisp ; Haskell ; Squeak ; Tcl ; Program Transformation

Browse archives « August 2026   Su Mo Tu We Th Fr Sa             1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31           Active forum topics Signatures involving multimethods in the programming language Theme-D Lambda the Ultimate Object Frequent Server Error 502 Lambda the Ultimate Object Lambda the Ultimate Object more New forum topics Signatures involving multimethods in the programming language Theme-D Frequent Server Error 502 Lambda the Ultimate Object Lambda the Ultimate Object Lambda the Ultimate Object more Recent comments Tilting at windmills 15 weeks 5 days ago Yah but there's a point to it. 15 weeks 6 days ago methods are to a type as wool is to water 15 weeks 6 days ago Do methods "belong to" a type? If so how do you decide which? 16 weeks 2 hours ago §3.1.4 OO isn’t Encapsulation [deleted] 16 weeks 3 days ago §3.1.4 OO isn’t Encapsulation [modularity/interfaces] 16 weeks 3 days ago Inheritance.... sigh. 16 weeks 4 days ago §1.3.1 OO is the Paradigm of Programming with Inheritance 16 weeks 4 days ago "LtU is now running in a new, more stable environment", allegedl 16 weeks 4 days ago "LtU is now running in a new, more stable environment", allegedl 16 weeks 4 days ago

user error: The total number of locks exceeds the lock table size
query: UPDATE sessions SET uid = 0, hostname = '35.191.7.22', session = 'messages|a:0:{}', timestamp = 1785623402 WHERE sid = 'f8699916b2858c2236e58ce77ee47ed5' in /home/ltu/www/includes/database.mysql.inc on line 66.