Relational reasoning for recursive types and references

Relational reasoning for recursive types and references (2006)

Cached

Download Links

[www.itu.dk]

Other Repositories/Bibliography

DBLP

Save to List
Add to Collection
Correct Errors
Monitor Changes

by Nina Bohr , Lars Birkedal

Venue:	ASIAN SYMPOSIUM ON PROGRAMMING LANGUAGES AND SYSTEMS (APLAS)
Citations:	22 - 5 self

Document Versions

Relational reasoning for recursive types and references –Nina Bohr, Lars Birkedal — 2006 — ASIAN SYMPOSIUM ON PROGRAMMING LANGUAGES AND SYSTEMS (APLAS)