Refinement of a Typed WAM Extension by Polymorphic Order-Sorted Types - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Christoph Beierle, Egon Börger. Refinement of a Typed WAM Extension by Polymorphic Order-Sorted Types. Formal Asp. Comput., 8(5):539-564, 1996.

@article{BeierleB96a,
  title = {Refinement of a Typed WAM Extension by Polymorphic Order-Sorted Types},
  author = {Christoph Beierle and Egon Börger},
  year = {1996},
  tags = {refinement},
  researchr = {https://researchr.org/publication/BeierleB96a},
  cites = {0},
  citedby = {0},
  journal = {Formal Asp. Comput.},
  volume = {8},
  number = {5},
  pages = {539-564},
}

runs on WebDSL