%0 Conference Paper %1 conf/wadt/Hannay99 %A Hannay, Jo Erskine %B WADT %D 1999 %E Bert, Didier %E Choppy, Christine %E Mosses, Peter D. %I Springer %K dblp %P 162-181 %T Specification Refinement with System F - The Higher-Order Case. %U http://dblp.uni-trier.de/db/conf/wadt/wadt1999.html#Hannay99 %V 1827 %@ 3-540-67898-0

@inproceedings{conf/wadt/Hannay99, added-at = {2017-05-21T00:00:00.000+0200}, author = {Hannay, Jo Erskine}, biburl = {https://www.bibsonomy.org/bibtex/2cf7231421bbacf9941f726e9c7e26584/dblp}, booktitle = {WADT}, crossref = {conf/wadt/1999}, editor = {Bert, Didier and Choppy, Christine and Mosses, Peter D.}, ee = {https://doi.org/10.1007/978-3-540-44616-3_10}, interhash = {6c8200582df62b95820ab45399d9432c}, intrahash = {cf7231421bbacf9941f726e9c7e26584}, isbn = {3-540-67898-0}, keywords = {dblp}, pages = {162-181}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T17:44:32.000+0200}, title = {Specification Refinement with System F - The Higher-Order Case.}, url = {http://dblp.uni-trier.de/db/conf/wadt/wadt1999.html#Hannay99}, volume = 1827, year = 1999 }