A polymorphic type system for logic programs - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Changwoo Pyo. A polymorphic type system for logic programs. PhD thesis, University of Illinois Urbana-Champaign, USA, 1990. [doi]

@phdthesis{us-10350,
  title = {A polymorphic type system for logic programs},
  author = {Changwoo Pyo},
  year = {1990},
  url = {https://hdl.handle.net/2142/22455},
  researchr = {https://researchr.org/publication/us-10350},
  cites = {0},
  citedby = {0},
  school = {University of Illinois Urbana-Champaign, USA},
}

runs on WebDSL