|
 
|
[AD96] Type isomorphisms for module signatures
Conférence Internationale avec comité de lecture : Symposium on Programming Language Implementation and Logic Programming (PLILP), January 1996, pp.334-346, Series LNCS,
motcle:
Résumé:
resume
Commentaires:
note
BibTeX
| @inproceedings { | |||
| AD96, | |||
| title | = | "{Type isomorphisms for module signatures}", | |
| author | = | " M. Aponte and R. Dicosmo ", | |
| booktitle | = | "{Symposium on Programming Language Implementation and Logic Programming (PLILP)}", | |
| year | = | 1996, | |
| month | = | "January", | |
| series | = | "LNCS", | |
| pages | = | "334-346", | |
| note | = | "{note}", | |
| } | |||
