Combining Static and Dynamic Contract Checking for Curry - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Michael Hanus. Combining Static and Dynamic Contract Checking for Curry. Fundamenta Informaticae, 173(4):285-314, 2020. [doi]

@article{Hanus20,
  title = {Combining Static and Dynamic Contract Checking for Curry},
  author = {Michael Hanus},
  year = {2020},
  doi = {10.3233/FI-2020-1925},
  url = {https://doi.org/10.3233/FI-2020-1925},
  researchr = {https://researchr.org/publication/Hanus20},
  cites = {0},
  citedby = {0},
  journal = {Fundamenta Informaticae},
  volume = {173},
  number = {4},
  pages = {285-314},
}

runs on WebDSL