A relational modal logic for higher-order stateful ADTs

Dreyer, Derek; Neis, Georg; Rossberg, Andreas; Birkedal, Lars

Local TagsRelease HistoryDetailsSummary

A relational modal logic for higher-order stateful ADTs

Dreyer, D., Neis, G., Rossberg, A., & Birkedal, L. (2010). A relational modal logic for higher-order stateful ADTs. In POPL’10: proceedings of the 37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (pp. 185-198). New York, NY: ACM.

Item is Released

show all hide all

Basic

show hide

Item Permalink: https://hdl.handle.net/11858/00-001M-0000-0028-8BA9-D Version Permalink: https://hdl.handle.net/11858/00-001M-0000-0028-8BAA-B

Genre: Conference Paper

Files

show Files

Locators

show

Creators

show

hide

Creators:
Dreyer, Derek¹, Author
Neis, Georg¹, Author
Rossberg, Andreas¹, Author
Birkedal, Lars, Author

Affiliations:
1Group D. Dreyer, Max Planck Institute for Software Systems, Max Planck Society, ou_2105286

Content

show

Details

show

hide

Language(s): eng - English

Dates: Date issued: 2010

Publication Status: Issued

Pages: -

Publishing info: -

Table of Contents: -

Rev. Type: -

Identifiers: eDoc: 533011
URI: http://doi.acm.org/10.1145/1706299.1706323

Degree: -

Event

show

hide

Title: 37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2010)

Place of Event: Madrid

Start-/End Date: 2010-01-17 - 2010-01-23

Legal Case

show

Project information

show

Source 1

show

hide

Title: POPL’10 : proceedings of the 37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

Source Genre: Proceedings

Creator(s):

Affiliations:

Publ. Info: New York, NY : ACM

Pages: - Volume / Issue: - Sequence Number: - Start / End Page: 185 - 198 Identifier: ISBN: 978-1-60558-479-9