%0 Journal Article %1 journals/jfp/SchwerterGT16 %A Schwerter, Felipe Bañados %A Garcia, Ronald %A Tanter, Éric %D 2016 %J J. Funct. Program. %K dblp %P e19 %T Gradual type-and-effect systems. %U http://dblp.uni-trier.de/db/journals/jfp/jfp26.html#SchwerterGT16 %V 26

@article{journals/jfp/SchwerterGT16, added-at = {2016-10-26T00:00:00.000+0200}, author = {Schwerter, Felipe Bañados and Garcia, Ronald and Tanter, Éric}, biburl = {https://www.bibsonomy.org/bibtex/2bcc2ad0c6162025ad9260aba37f2aa0d/dblp}, ee = {http://dx.doi.org/10.1017/S0956796816000162}, interhash = {cd183ebcdf85bc8248177a019910b8cb}, intrahash = {bcc2ad0c6162025ad9260aba37f2aa0d}, journal = {J. Funct. Program.}, keywords = {dblp}, pages = {e19}, timestamp = {2016-10-27T11:33:25.000+0200}, title = {Gradual type-and-effect systems.}, url = {http://dblp.uni-trier.de/db/journals/jfp/jfp26.html#SchwerterGT16}, volume = 26, year = 2016 }