%0 Thesis %1 phd/basesearch/Danielsson07 %A Danielsson, Nils Anders %D 2007 %K dblp %T Functional Program Correctness Through Types.

@phdthesis{phd/basesearch/Danielsson07, added-at = {2017-03-23T00:00:00.000+0100}, author = {Danielsson, Nils Anders}, biburl = {https://www.bibsonomy.org/bibtex/209a7db0fbc07bd15f1e8c129b8e414f5/dblp}, ee = {https://www.base-search.net/Record/afaf29827c29fd445b60832a2937d47b98ad341df033e1d960dca7e32badfd17}, interhash = {b9cecff72cb8cd28c75070e87aa979fd}, intrahash = {09a7db0fbc07bd15f1e8c129b8e414f5}, keywords = {dblp}, note = {base-search.net (ftchalmersuniv:oai:publications.lib.chalmers.se:61161)}, school = {Chalmers University of Technology, Gothenburg, Sweden}, timestamp = {2017-03-24T11:35:04.000+0100}, title = {Functional Program Correctness Through Types.}, year = 2007 }