Faking it: Simulating dependent types in Haskell - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Conor McBride. Faking it: Simulating dependent types in Haskell. Journal of Functional Programming, 12(4&5):375-392, 2002.

@article{McBride02,
  title = {Faking it: Simulating dependent types in Haskell},
  author = {Conor McBride},
  year = {2002},
  tags = {Haskell},
  researchr = {https://researchr.org/publication/McBride02},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {12},
  number = {4&amp;5},
  pages = {375-392},
}

runs on WebDSL