Conference item
A Fully Complete PER Model for ML Polymorphic Types
Actions
Authors
Bibliographic Details
- Publisher:
- Springer−Verlag
- Volume:
- 1862
- Host title:
- Proceedings of the Fourteenth International Workshop on Computer Science Logic
- Publication date:
- 2000-01-01
Item Description
- UUID:
-
uuid:441ad179-c2ed-4dea-ae02-15c60583daaa
- Local pid:
- cs:1827
- Deposit date:
- 2015-03-31
Terms of use
- Copyright date:
- 2000
If you are the owner of this record, you can report an update to it here: Report update to this record