Bodil Biering (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2 Bodil Biering, Lars Birkedal, Noah Torp-Smith: BI-hyperdoctrines, higher-order separation logic, and abstraction. ACM Trans. Program. Lang. Syst. 29(5): (2007)

1 Bodil Biering, Lars Birkedal, Noah Torp-Smith: BI Hyperdoctrines and Higher-Order Separation Logic. ESOP 2005: 233-247

Selection of 2 from 3 records - Bodil Biering has 2 coauthors

2		Bodil Biering, Lars Birkedal, Noah Torp-Smith: BI-hyperdoctrines, higher-order separation logic, and abstraction. ACM Trans. Program. Lang. Syst. 29(5): (2007)
1		Bodil Biering, Lars Birkedal, Noah Torp-Smith: BI Hyperdoctrines and Higher-Order Separation Logic. ESOP 2005: 233-247