tag:blogger.com,1999:blog-8068466035875589791.post176286124901729767..comments2024-03-26T00:37:39.585-07:00Comments on Semantic Domain: Integrating Linear and Dependent Types at POPL 2015Neel Krishnaswamihttp://www.blogger.com/profile/06853898957395028131noreply@blogger.comBlogger1125tag:blogger.com,1999:blog-8068466035875589791.post-78235766193535597282014-12-08T14:46:51.327-08:002014-12-08T14:46:51.327-08:00I posted this to the ATS list. :-)I posted this to the ATS list. :-)Raoul Dukehttps://www.blogger.com/profile/07354740962526930549noreply@blogger.com