@inproceedings{DBLP:conf/fsttcs/Jagannathan15,
  author       = {Suresh Jagannathan},
  editor       = {Prahladh Harsha and
                  G. Ramalingam},
  title        = {Relational Refinement Types for Higher-Order Shape Transformers (Invited
                  Talk)},
  booktitle    = {35th {IARCS} Annual Conference on Foundation of Software Technology
                  and Theoretical Computer Science, {FSTTCS} 2015, Bangalore, India,
                  December 16-18, 2015},
  series       = {LIPIcs},
  volume       = {45},
  pages        = {9--9},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2015},
  url          = {https://doi.org/10.4230/LIPIcs.FSTTCS.2015.9},
  doi          = {10.4230/LIPICS.FSTTCS.2015.9},
  timestamp    = {Fri, 21 Nov 2025 14:06:54 +0100},
  biburl       = {https://dblp.org/rec/conf/fsttcs/Jagannathan15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"7bABFoyxz83sPRPXi","bibbaseid":"jagannathan-relationalrefinementtypesforhigherordershapetransformersinvitedtalk-2015","author_short":["Jagannathan, S."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Suresh"],"propositions":[],"lastnames":["Jagannathan"],"suffixes":[]}],"editor":[{"firstnames":["Prahladh"],"propositions":[],"lastnames":["Harsha"],"suffixes":[]},{"firstnames":["G."],"propositions":[],"lastnames":["Ramalingam"],"suffixes":[]}],"title":"Relational Refinement Types for Higher-Order Shape Transformers (Invited Talk)","booktitle":"35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2015, Bangalore, India, December 16-18, 2015","series":"LIPIcs","volume":"45","pages":"9–9","publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","year":"2015","url":"https://doi.org/10.4230/LIPIcs.FSTTCS.2015.9","doi":"10.4230/LIPICS.FSTTCS.2015.9","timestamp":"Fri, 21 Nov 2025 14:06:54 +0100","biburl":"https://dblp.org/rec/conf/fsttcs/Jagannathan15.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/fsttcs/Jagannathan15,\n author = {Suresh Jagannathan},\n editor = {Prahladh Harsha and\n G. Ramalingam},\n title = {Relational Refinement Types for Higher-Order Shape Transformers (Invited\n Talk)},\n booktitle = {35th {IARCS} Annual Conference on Foundation of Software Technology\n and Theoretical Computer Science, {FSTTCS} 2015, Bangalore, India,\n December 16-18, 2015},\n series = {LIPIcs},\n volume = {45},\n pages = {9--9},\n publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\\\"{u}}r Informatik},\n year = {2015},\n url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2015.9},\n doi = {10.4230/LIPICS.FSTTCS.2015.9},\n timestamp = {Fri, 21 Nov 2025 14:06:54 +0100},\n biburl = {https://dblp.org/rec/conf/fsttcs/Jagannathan15.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Jagannathan, S."],"editor_short":["Harsha, P.","Ramalingam, G."],"key":"DBLP:conf/fsttcs/Jagannathan15","id":"DBLP:conf/fsttcs/Jagannathan15","bibbaseid":"jagannathan-relationalrefinementtypesforhigherordershapetransformersinvitedtalk-2015","role":"author","urls":{"Paper":"https://doi.org/10.4230/LIPIcs.FSTTCS.2015.9"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/j/SJagannathan.bib","dataSources":["w34nNagszyiH26GmA"],"keywords":[],"search_terms":["relational","refinement","types","higher","order","shape","transformers","invited","talk","jagannathan"],"title":"Relational Refinement Types for Higher-Order Shape Transformers (Invited Talk)","year":2015}