Interfaces and Extended ML

Stefan Kahrs, Donald Sannella, Andrzej Tarlecki. Interfaces and Extended ML. In Workshop on Interface Definition Languages. pages 111-118, 1994.

@inproceedings{KahrsST94,
  title = {Interfaces and Extended ML},
  author = {Stefan Kahrs and Donald Sannella and Andrzej Tarlecki},
  year = {1994},
  researchr = {https://researchr.org/publication/KahrsST94},
  cites = {0},
  citedby = {0},
  pages = {111-118},
  booktitle = {Workshop on Interface Definition Languages},
}