%0 Conference Paper %1 conf/fsttcs/Jagannathan15 %A Jagannathan, Suresh %B FSTTCS %D 2015 %E Harsha, Prahladh %E Ramalingam, G. %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 9-9 %T Relational Refinement Types for Higher-Order Shape Transformers (Invited Talk). %U http://dblp.uni-trier.de/db/conf/fsttcs/fsttcs2015.html#Jagannathan15 %V 45 %@ 978-3-939897-97-2

@inproceedings{conf/fsttcs/Jagannathan15, added-at = {2018-08-23T00:00:00.000+0200}, author = {Jagannathan, Suresh}, biburl = {https://www.bibsonomy.org/bibtex/25865d79bb51163e5038f3c9398a8debe/dblp}, booktitle = {FSTTCS}, crossref = {conf/fsttcs/2015}, editor = {Harsha, Prahladh and Ramalingam, G.}, ee = {https://doi.org/10.4230/LIPIcs.FSTTCS.2015.9}, interhash = {fbb296017f6ddddefb6b668a9e39b327}, intrahash = {5865d79bb51163e5038f3c9398a8debe}, isbn = {978-3-939897-97-2}, keywords = {dblp}, pages = {9-9}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2020-02-12T11:52:05.000+0100}, title = {Relational Refinement Types for Higher-Order Shape Transformers (Invited Talk).}, url = {http://dblp.uni-trier.de/db/conf/fsttcs/fsttcs2015.html#Jagannathan15}, volume = 45, year = 2015 }