tag:blogger.com,1999:blog-13576821.post1694985176607289352..comments2023-10-08T12:21:34.410+03:00Comments on A Vatful of Fluid: Defunc'ed Join Calculus, now in HaskellAndris Birkmanishttp://www.blogger.com/profile/10262353671943780684noreply@blogger.comBlogger1125tag:blogger.com,1999:blog-13576821.post-22839538580876390502007-08-31T10:53:00.000+03:002007-08-31T10:53:00.000+03:00Careful readers might have noticed, that the inter...Careful readers might have noticed, that the interpreter does not (directly) support core JC. Particularly, as there are no closures, nested defs will be problematic. However, there is still a chance that terms of core JC can be efficiently encoded in "closureless" core JC - would make a nice theorem.Andris Birkmanishttps://www.blogger.com/profile/10262353671943780684noreply@blogger.com