%0 Journal Article %1 Brown:2016:BSC:2954679.2872364 %A Brown, Fraser %A Nötzli, Andres %A Engler, Dawson %C New York, NY, USA %D 2016 %I ACM %J SIGPLAN Not. %K design program static.checking syntax %N 4 %P 143--157 %R 10.1145/2954679.2872364 %T How to Build Static Checking Systems Using Orders of Magnitude Less Code %U http://doi.acm.org/10.1145/2954679.2872364 %V 51

@article{Brown:2016:BSC:2954679.2872364, acmid = {2872364}, added-at = {2017-06-28T09:42:16.000+0200}, address = {New York, NY, USA}, author = {Brown, Fraser and N\"{o}tzli, Andres and Engler, Dawson}, biburl = {https://www.bibsonomy.org/bibtex/28b9d6d1a5a07dc93be9e90a5dabca61e/ji}, description = {How to Build Static Checking Systems Using Orders of Magnitude Less Code}, doi = {10.1145/2954679.2872364}, interhash = {858edcb04bbc0d1fa00b0ba226a9466d}, intrahash = {8b9d6d1a5a07dc93be9e90a5dabca61e}, issn = {0362-1340}, issue_date = {April 2016}, journal = {SIGPLAN Not.}, keywords = {design program static.checking syntax}, month = mar, number = 4, numpages = {15}, pages = {143--157}, publisher = {ACM}, timestamp = {2017-06-28T09:42:16.000+0200}, title = {How to Build Static Checking Systems Using Orders of Magnitude Less Code}, url = {http://doi.acm.org/10.1145/2954679.2872364}, volume = 51, year = 2016 }