Yes, the paper is from SNAPL 2015, see http://snapl.org/2015/index.html.
The incorrect 1998 was derived automatically by HN from the ACM classification in the pdf it seems.
The incorrect 1998 was derived automatically by HN from the ACM classification in the pdf it seems.
No comments yet.