bentnib.org/amortised-sep-logic.html
Preview meta tags from the bentnib.org website.
Linked Hostnames
2General Meta Tags
3- titleAmortised Resource Analysis with Separation Logic (2010) - Bob Atkey
- charsetutf-8
- viewportwidth=device-width, initial-scale=1
Link Tags
3- alternate/posts.rss.xml
- stylesheet/fonts/stylesheet.css
- stylesheet/simple.css
Emails
1Links
7- http://dx.doi.org/10.1007/978-3-642-11957-6_6
- https://bentnib.org
- https://bentnib.org/amortised-sep-logic-journal.html
- https://bentnib.org/amortised-sep-logic.bib
- https://bentnib.org/amortised-sep-logic.pdf