The PubPeer database contains all articles.
To leave the first comment on a specific article, paste a unique identifier such as a DOI, PubMed ID, or arXiv ID into the search bar.
Michael Kifer, Georg Lausen
Search publications for: doi:10.1145/67544.66939 1 result
F-logic: a higher-order language for reasoning about objects, inheritance, and scheme
Michael Kifer, Georg Lausen