%0 Thesis %1 seidel2013theorems %A Seidel, Daniel %D 2013 %K %T Free Theorems in Languages with Real-World Programming Features

@phdthesis{seidel2013theorems, added-at = {2023-12-12T21:20:36.000+0100}, author = {Seidel, Daniel}, biburl = {https://www.bibsonomy.org/bibtex/240978bc2312642afed885ee95a0a7566/admin}, dnbtitleid = {1045276316}, interhash = {3cbbbc523d2e1e48ca0c16c0f5175cf6}, intrahash = {40978bc2312642afed885ee95a0a7566}, keywords = {}, school = {NA Bonn}, timestamp = {2023-12-12T21:20:36.000+0100}, title = {Free Theorems in Languages with Real-World Programming Features}, year = 2013 }