BibTeX records: Ki Yung Ahn

download as .bib file

@article{DBLP:journals/corr/AhnHT17,
  author    = {Ki Yung Ahn and
               Ross Horne and
               Alwen Tiu},
  title     = {A Characterisation of Open Bisimulation using an Intuitionistic Modal
               Logic},
  journal   = {CoRR},
  volume    = {abs/1701.05324},
  year      = {2017},
  url       = {http://arxiv.org/abs/1701.05324},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/AhnHT17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/AhnHT17a,
  author    = {Ki Yung Ahn and
               Ross Horne and
               Alwen Tiu},
  title     = {Generating Witness of Non-Bisimilarity for the pi-Calculus},
  journal   = {CoRR},
  volume    = {abs/1705.10908},
  year      = {2017},
  url       = {http://arxiv.org/abs/1705.10908},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/AhnHT17a},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/flops/AhnV16,
  author    = {Ki Yung Ahn and
               Andrea Vezzosi},
  title     = {Executable Relational Specifications of Polymorphic Type Systems Using
               Prolog},
  booktitle = {Functional and Logic Programming - 13th International Symposium, {FLOPS}
               2016, Kochi, Japan, March 4-6, 2016, Proceedings},
  pages     = {109--125},
  year      = {2016},
  crossref  = {DBLP:conf/flops/2016},
  url       = {https://doi.org/10.1007/978-3-319-29604-3_8},
  doi       = {10.1007/978-3-319-29604-3_8},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/flops/AhnV16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/sqj/AhnD13,
  author    = {Ki Yung Ahn and
               Ewen Denney},
  title     = {A framework for testing first-order logic axioms in program verification},
  journal   = {Software Quality Journal},
  volume    = {21},
  number    = {1},
  pages     = {159--200},
  year      = {2013},
  url       = {https://doi.org/10.1007/s11219-011-9168-1},
  doi       = {10.1007/s11219-011-9168-1},
  timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/sqj/AhnD13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/tlca/AhnSFP13,
  author    = {Ki Yung Ahn and
               Tim Sheard and
               Marcelo P. Fiore and
               Andrew M. Pitts},
  title     = {System {F} \({}_{\mbox{ \emph{i} }}\)},
  booktitle = {Typed Lambda Calculi and Applications, 11th International Conference,
               {TLCA} 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings},
  pages     = {15--30},
  year      = {2013},
  crossref  = {DBLP:conf/tlca/2013},
  url       = {https://doi.org/10.1007/978-3-642-38946-7_4},
  doi       = {10.1007/978-3-642-38946-7_4},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/tlca/AhnSFP13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/plpv/KimmellSEEFSWCSCA12,
  author    = {Garrin Kimmell and
               Aaron Stump and
               Harley D. Eades III and
               Peng Fu and
               Tim Sheard and
               Stephanie Weirich and
               Chris Casinghino and
               Vilhelm Sj{\"{o}}berg and
               Nathan Collins and
               Ki Yung Ahn},
  title     = {Equational reasoning about programs with general recursion and call-by-value
               semantics},
  booktitle = {Proceedings of the sixth workshop on Programming Languages meets Program
               Verification, {PLPV} 2012, Philadelphia, PA, USA, January 24, 2012},
  pages     = {15--26},
  year      = {2012},
  crossref  = {DBLP:conf/plpv/2012},
  url       = {http://doi.acm.org/10.1145/2103776.2103780},
  doi       = {10.1145/2103776.2103780},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/plpv/KimmellSEEFSWCSCA12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1202-2923,
  author    = {Vilhelm Sj{\"{o}}berg and
               Chris Casinghino and
               Ki Yung Ahn and
               Nathan Collins and
               Harley D. Eades III and
               Peng Fu and
               Garrin Kimmell and
               Tim Sheard and
               Aaron Stump and
               Stephanie Weirich},
  title     = {Irrelevance, Heterogeneous Equality, and Call-by-value Dependent Type
               Systems},
  booktitle = {Proceedings Fourth Workshop on Mathematically Structured Functional
               Programming, MSFP@ETAPS 2012, Tallinn, Estonia, 25 March 2012.},
  pages     = {112--162},
  year      = {2012},
  crossref  = {DBLP:journals/corr/abs-1202-2407},
  url       = {https://doi.org/10.4204/EPTCS.76.9},
  doi       = {10.4204/EPTCS.76.9},
  timestamp = {Wed, 03 May 2017 14:47:54 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/abs-1202-2923},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icfp/AhnS11,
  author    = {Ki Yung Ahn and
               Tim Sheard},
  title     = {A hierarchy of mendler style recursion combinators: taming inductive
               datatypes with negative occurrences},
  booktitle = {Proceeding of the 16th {ACM} {SIGPLAN} international conference on
               Functional Programming, {ICFP} 2011, Tokyo, Japan, September 19-21,
               2011},
  pages     = {234--246},
  year      = {2011},
  crossref  = {DBLP:conf/icfp/2011},
  url       = {http://doi.acm.org/10.1145/2034773.2034807},
  doi       = {10.1145/2034773.2034807},
  timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/icfp/AhnS11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/tap/AhnD10,
  author    = {Ki Yung Ahn and
               Ewen Denney},
  title     = {Testing First-Order Logic Axioms in Program Verification},
  booktitle = {Tests and Proofs, 4th International Conference, {TAP} 2010, M{\'{a}}laga,
               Spain, July 1-2, 2010. Proceedings},
  pages     = {22--37},
  year      = {2010},
  crossref  = {DBLP:conf/tap/2010},
  url       = {https://doi.org/10.1007/978-3-642-13977-2_4},
  doi       = {10.1007/978-3-642-13977-2_4},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/tap/AhnD10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/haskell/AhnS08,
  author    = {Ki Yung Ahn and
               Tim Sheard},
  title     = {Shared subtypes: subtyping recursive parametrized algebraic data types},
  booktitle = {Proceedings of the 1st {ACM} {SIGPLAN} Symposium on Haskell, Haskell
               2008, Victoria, BC, Canada, 25 September 2008},
  pages     = {75--86},
  year      = {2008},
  crossref  = {DBLP:conf/haskell/2008},
  url       = {http://doi.acm.org/10.1145/1411286.1411297},
  doi       = {10.1145/1411286.1411297},
  timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/haskell/AhnS08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/flops/2016,
  editor    = {Oleg Kiselyov and
               Andy King},
  title     = {Functional and Logic Programming - 13th International Symposium, {FLOPS}
               2016, Kochi, Japan, March 4-6, 2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9613},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-29604-3},
  doi       = {10.1007/978-3-319-29604-3},
  isbn      = {978-3-319-29603-6},
  timestamp = {Sun, 21 May 2017 00:19:14 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/flops/2016},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/tlca/2013,
  editor    = {Masahito Hasegawa},
  title     = {Typed Lambda Calculi and Applications, 11th International Conference,
               {TLCA} 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7941},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-38946-7},
  doi       = {10.1007/978-3-642-38946-7},
  isbn      = {978-3-642-38945-0},
  timestamp = {Wed, 17 May 2017 14:24:41 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/tlca/2013},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/plpv/2012,
  editor    = {Koen Claessen and
               Nikhil Swamy},
  title     = {Proceedings of the sixth workshop on Programming Languages meets Program
               Verification, {PLPV} 2012, Philadelphia, PA, USA, January 24, 2012},
  publisher = {{ACM}},
  year      = {2012},
  isbn      = {978-1-4503-1125-0},
  timestamp = {Fri, 27 Jan 2012 10:20:59 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/plpv/2012},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1202-2407,
  editor    = {James Chapman and
               Paul Blain Levy},
  title     = {Proceedings Fourth Workshop on Mathematically Structured Functional
               Programming, MSFP@ETAPS 2012, Tallinn, Estonia, 25 March 2012},
  series    = {{EPTCS}},
  volume    = {76},
  year      = {2012},
  url       = {https://doi.org/10.4204/EPTCS.76},
  doi       = {10.4204/EPTCS.76},
  timestamp = {Wed, 03 May 2017 14:47:54 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/abs-1202-2407},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icfp/2011,
  editor    = {Manuel M. T. Chakravarty and
               Zhenjiang Hu and
               Olivier Danvy},
  title     = {Proceeding of the 16th {ACM} {SIGPLAN} international conference on
               Functional Programming, {ICFP} 2011, Tokyo, Japan, September 19-21,
               2011},
  publisher = {{ACM}},
  year      = {2011},
  isbn      = {978-1-4503-0865-6},
  timestamp = {Thu, 22 Sep 2011 12:22:33 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/icfp/2011},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/tap/2010,
  editor    = {Gordon Fraser and
               Angelo Gargantini},
  title     = {Tests and Proofs, 4th International Conference, {TAP} 2010, M{\'{a}}laga,
               Spain, July 1-2, 2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6143},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-13977-2},
  doi       = {10.1007/978-3-642-13977-2},
  isbn      = {978-3-642-13976-5},
  timestamp = {Fri, 19 May 2017 01:25:21 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/tap/2010},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/haskell/2008,
  editor    = {Andy Gill},
  title     = {Proceedings of the 1st {ACM} {SIGPLAN} Symposium on Haskell, Haskell
               2008, Victoria, BC, Canada, 25 September 2008},
  publisher = {{ACM}},
  year      = {2008},
  isbn      = {978-1-60558-064-7},
  timestamp = {Fri, 29 Jan 2010 14:43:56 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/haskell/2008},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier