A Constructive Alternative to Axiomatic Data Type Definitions - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Robert Cartwright. A Constructive Alternative to Axiomatic Data Type Definitions. In LISP Conference. pages 46-55, 1980.

@inproceedings{Cartwright80,
  title = {A Constructive Alternative to Axiomatic Data Type Definitions},
  author = {Robert Cartwright},
  year = {1980},
  tags = {data-flow},
  researchr = {https://researchr.org/publication/Cartwright80},
  cites = {0},
  citedby = {0},
  pages = {46-55},
  booktitle = {LISP Conference},
}

runs on WebDSL