2022-09-20 18:47:25 +02:00
|
|
|
@InProceedings{Dep2007,
|
|
|
|
|
author={{{Condit}, Jeremy and {Harren}, Matthew and {Anderson}, Zachary and
|
|
|
|
|
{Gay}, David and {Necula}, George C.}},
|
|
|
|
|
title={{Dependent Types for Low-Level Programming}},
|
|
|
|
|
booktitle={{Programming Languages and Systems}},
|
|
|
|
|
year={2007}
|
2022-09-20 18:17:35 +02:00
|
|
|
}
|
|
|
|
|
/* vim: set filetype=bib ts=2 sw=2 tw=0 et :*/
|
