Browsing by Author Honoré, Wolf
Showing results 1 to 1 of 1
| Publication Date | Article Title | Author(s) |
|---|---|---|
| 2020 | Connecting Higher-Order Separation Logic to a First-Order Outside World | Mansky, William; Honoré, Wolf; Appel, Andrew W |