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 Thomas Schilling view track type title author last post  Story Theorem proving support in programming language semantics Very neat indeed! by Thomas Schilling Charles Stewart 2007-08-03 22:27 Forum topic What Makes Erlang Processes Tick? I know no Erlang internals, but ... by Thomas Schilling mjstahl 2007-01-29 19:09 Forum topic Practical Laziness Some Keywords by Thomas Schilling jimdesu 2006-12-04 23:47 Story Testing Telecoms Software with Quviq QuickCheck Maybe this is of interest by Thomas Schilling Luke Gorrie 2006-11-18 01:08 Story Practical OCaml Details? by Thomas Schilling Matt Hellige 2006-11-14 13:41 Story A rationale for semantically enhanced library languages Template Haskell by Thomas Schilling Which Meta-programming? by Thomas Schilling Ehud Lamm 2006-11-06 07:50 Forum topic Delevoping a new language... Textual description? by Thomas Schilling Ah ... by Thomas Schilling D.G.Gaev 2006-10-27 07:42 Forum topic The US Torture Bill as C code Hm, if I were a pacifist (or by Thomas Schilling Ehud Lamm 2006-10-15 11:09 Forum topic Designing a Programming Textbook OO: Java?! by Thomas Schilling cdiggins 2006-10-02 19:26 Forum topic emulation for Erlang style processes That's not quite new ... by Thomas Schilling Rys McCusker 2006-06-11 03:01 first page previous page 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 « April 2024   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         Active forum topics Compiling high-level code to cryptography Haxl(-like "Monads") in terms of Delimited Continuations? programming languages with full-unicode syntax and identifiers are surprisingly hard to do well. A case study of concatenative v.s. applicative syntax design Using JavaScript-like syntax to program with Interaction Nets more New forum topics Compiling high-level code to cryptography Haxl(-like "Monads") in terms of Delimited Continuations? A case study of concatenative v.s. applicative syntax design Using JavaScript-like syntax to program with Interaction Nets Sorting the travelling salesman problem more Recent comments Video Presentation 15 weeks 13 hours ago Also published in ICFP 19 weeks 2 days ago About identifiers... 20 weeks 6 days ago Duplicate comment deleted. 20 weeks 6 days ago Also true for postfix 23 weeks 4 days ago That's all about the delimiters. 28 weeks 1 day ago How about prefix notation? 28 weeks 1 day ago without knowing all word arities, you can't read postfix code 28 weeks 4 days ago without knowing all word arities, you can't read postfix code 28 weeks 4 days ago Interesting 31 weeks 3 days ago

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