Imperative Programming with Dependent Types - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Hongwei Xi. Imperative Programming with Dependent Types. In LICS. pages 375-387, 2000. [doi]

@inproceedings{Xi00,
  title = {Imperative Programming with Dependent Types},
  author = {Hongwei Xi},
  year = {2000},
  url = {http://www.computer.org/proceedings/lics/0725/07250375abs.htm},
  tags = {programming},
  researchr = {https://researchr.org/publication/Xi00},
  cites = {0},
  citedby = {0},
  pages = {375-387},
  booktitle = {LICS},
}

runs on WebDSL