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 Alex1 view track type  title author last post Forum topic Whither Flow Analysis? Taming Lambda by Alex1 raould 2014-11-14 11:54 Forum topic EigenCFA: Accelerating Flow Analysis with GPUs Alex1 2014-11-03 02:01 Story Inferring algebraic effects The Eff type checker lacks by Alex1 Ohad Kammar 2014-10-04 17:39 Forum topic doing letrec with lambdas but it could be even harder, by Alex1 jimdesu 2014-09-29 19:46 Forum topic Re-thinking Prolog Since I'm not an editor by Alex1 Alex1 2014-09-24 11:21 Forum topic Request For Advice and Guidance On Writing a Scheme To C Compiler? Eric, Thank you so much! by Alex1 Alex1 2014-09-13 23:33 Forum topic LtU database problem I'd like to add to this: The by Alex1 Blaisorblade 2014-09-10 14:27 Forum topic Deriving Functions to Work on Different Types of Data Two things you should check by Alex1 Jules Jacobs 2009-05-31 10:45 Forum topic source code conversion Dream No. 2b by Alex1 bokel 2009-05-03 14:49 Story On the Strength of Proof-Irrelevant Type Theories Is my reasoning correct? by Alex1 James Iry 2009-01-16 12:10 Forum topic RFC on an online book Perl 6? by Alex1 billhails 2008-12-09 20:43 Forum topic Implementations of untyped lazy lambda calculus Types don't get in the way by Alex1 Darren Smith 2008-11-14 19:44 Forum topic Adequate bootstrap for compiler with defmacro? Just to nitpick by Alex1 Manuel J. Simoni 2008-11-08 17:53 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

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 1 day ago Also published in ICFP 19 weeks 3 days ago About identifiers... 21 weeks 16 hours ago Duplicate comment deleted. 21 weeks 16 hours ago Also true for postfix 23 weeks 5 days ago That's all about the delimiters. 28 weeks 2 days ago How about prefix notation? 28 weeks 2 days ago without knowing all word arities, you can't read postfix code 28 weeks 5 days ago without knowing all word arities, you can't read postfix code 28 weeks 5 days ago Interesting 31 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.41.28', session = 'messages|a:0:{}', timestamp = 1714138307 WHERE sid = 'da238d2d70c034f8a45804577e52eb7a' in /home/ltu/www/includes/database.mysql.inc on line 66.