Relational reasoning for recursive types and references

Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  • Nina Bohr, IT University of Copenhagen (ITU), Unknown
  • Lars Birkedal
Original languageEnglish
Title of host publicationProgramming Languages and Systems
EditorsNaoki Kobayashi
Number of pages18
Volume4279 LNCS
Place of publication4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006. Proceedings
Publication year1 Dec 2006
ISBN (print)3540489371, 9783540489375
Publication statusPublished - 1 Dec 2006
Externally publishedYes
SeriesLecture Notes in Computer Science

See relations at Aarhus University Citationformats

ID: 81614062