Ki Yung Ahn Coauthor index pubzone.org

Facets and more with CompleteSearch

Listing of the DBLP Bibliography Server - FAQ
Other views (modern): by type - by year
Other mirrors: Trier II - Dagstuhl


Ask others: ACM DL/Guide - CiteSeerx - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2017
i2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKi Yung Ahn, Ross Horne, Alwen Tiu: A Characterisation of Open Bisimulation using an Intuitionistic Modal Logic. CoRR abs/1701.05324 (2017)
i1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKi Yung Ahn, Ross Horne, Alwen Tiu: Generating Witness of Non-Bisimilarity for the pi-Calculus. CoRR abs/1705.10908 (2017)
2016
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKi Yung Ahn, Andrea Vezzosi: Executable Relational Specifications of Polymorphic Type Systems Using Prolog. FLOPS 2016: 109-125
2013
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKi Yung Ahn, Ewen Denney: A framework for testing first-order logic axioms in program verification. Software Quality Journal 21(1): 159-200 (2013)
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKi Yung Ahn, Tim Sheard, Marcelo P. Fiore, Andrew M. Pitts: System F i . TLCA 2013: 15-30
2012
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGarrin Kimmell, Aaron Stump, Harley D. Eades III, Peng Fu, Tim Sheard, Stephanie Weirich, Chris Casinghino, Vilhelm Sjöberg, Nathan Collins, Ki Yung Ahn: Equational reasoning about programs with general recursion and call-by-value semantics. PLPV 2012: 15-26
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVilhelm Sjöberg, Chris Casinghino, Ki Yung Ahn, Nathan Collins, Harley D. Eades III, Peng Fu, Garrin Kimmell, Tim Sheard, Aaron Stump, Stephanie Weirich: Irrelevance, Heterogeneous Equality, and Call-by-value Dependent Type Systems .MSFP 2012: 112-162
2011
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKi Yung Ahn, Tim Sheard: A hierarchy of mendler style recursion combinators: taming inductive datatypes with negative occurrences. ICFP 2011: 234-246
2010
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKi Yung Ahn, Ewen Denney: Testing First-Order Logic Axioms in Program Verification. TAP 2010: 22-37
2008
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKi Yung Ahn, Tim Sheard: Shared subtypes: subtyping recursive parametrized algebraic data types. Haskell 2008: 75-86

Coauthor Index

1Chris Casinghino[c5] [c4]
2Nathan Collins[c5] [c4]
3Ewen Denney[j1] [c2]
4Harley D. Eades III[c5] [c4]
5Marcelo P. Fiore[c6]
6Peng Fu 0001[c5] [c4]
7Ross Horne[i2] [i1]
8Garrin Kimmell[c5] [c4]
9Andrew M. Pitts[c6]
10Tim Sheard[c6] [c5] [c4] [c3] [c1]
11Vilhelm Sjöberg[c5] [c4]
12Aaron Stump[c5] [c4]
13Alwen Tiu[i2] [i1]
14Andrea Vezzosi[c7]
15Stephanie Weirich[c5] [c4]

 

Last update 2017-06-10 02:05 CEST by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page