Generic programming with ornaments and dependent types - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Sijsling, Yorick. Generic programming with ornaments and dependent types. Master's thesis, 2016.

@mastersthesis{sijsling2016generic,
  title = {Generic programming with ornaments and dependent types},
  author = {Sijsling, Yorick},
  year = {2016},
  researchr = {https://researchr.org/publication/sijsling2016generic},
  cites = {0},
  citedby = {0},
}

runs on WebDSL