Search dblp for Publications

export results for "toc:db/conf/aplas/aplas2011.bht:"

 download as .bib file

@inproceedings{DBLP:conf/aplas/AlbertAGGP11,
  author       = {Elvira Albert and
                  Puri Arenas and
                  Samir Genaim and
                  Miguel G{\'{o}}mez{-}Zamalloa and
                  German Puebla},
  editor       = {Hongseok Yang},
  title        = {Cost Analysis of Concurrent {OO} Programs},
  booktitle    = {Programming Languages and Systems - 9th Asian Symposium, {APLAS} 2011,
                  Kenting, Taiwan, December 5-7, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7078},
  pages        = {238--254},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-25318-8\_19},
  doi          = {10.1007/978-3-642-25318-8\_19},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aplas/AlbertAGGP11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/AlglaveKLNT11,
  author       = {Jade Alglave and
                  Daniel Kroening and
                  John Lugton and
                  Vincent Nimal and
                  Michael Tautschnig},
  editor       = {Hongseok Yang},
  title        = {Soundness of Data Flow Analyses for Weak Memory Models},
  booktitle    = {Programming Languages and Systems - 9th Asian Symposium, {APLAS} 2011,
                  Kenting, Taiwan, December 5-7, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7078},
  pages        = {272--288},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-25318-8\_21},
  doi          = {10.1007/978-3-642-25318-8\_21},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aplas/AlglaveKLNT11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/Baillot11,
  author       = {Patrick Baillot},
  editor       = {Hongseok Yang},
  title        = {Elementary Linear Logic Revisited for Polynomial Time and an Exponential
                  Time Hierarchy},
  booktitle    = {Programming Languages and Systems - 9th Asian Symposium, {APLAS} 2011,
                  Kenting, Taiwan, December 5-7, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7078},
  pages        = {337--352},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-25318-8\_25},
  doi          = {10.1007/978-3-642-25318-8\_25},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/Baillot11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/Bjorner11,
  author       = {Nikolaj S. Bj{\o}rner},
  editor       = {Hongseok Yang},
  title        = {Engineering Theories with {Z3}},
  booktitle    = {Programming Languages and Systems - 9th Asian Symposium, {APLAS} 2011,
                  Kenting, Taiwan, December 5-7, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7078},
  pages        = {4--16},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-25318-8\_3},
  doi          = {10.1007/978-3-642-25318-8\_3},
  timestamp    = {Thu, 14 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/Bjorner11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/BoissinotBDDR11,
  author       = {Benoit Boissinot and
                  Florian Brandner and
                  Alain Darte and
                  Beno{\^{\i}}t Dupont de Dinechin and
                  Fabrice Rastello},
  editor       = {Hongseok Yang},
  title        = {A Non-iterative Data-Flow Algorithm for Computing Liveness Sets in
                  Strict {SSA} Programs},
  booktitle    = {Programming Languages and Systems - 9th Asian Symposium, {APLAS} 2011,
                  Kenting, Taiwan, December 5-7, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7078},
  pages        = {137--154},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-25318-8\_13},
  doi          = {10.1007/978-3-642-25318-8\_13},
  timestamp    = {Thu, 01 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/BoissinotBDDR11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/BonchiGM11,
  author       = {Filippo Bonchi and
                  Fabio Gadducci and
                  Giacoma Valentina Monreale},
  editor       = {Hongseok Yang},
  title        = {Towards a General Theory of Barbs, Contexts and Labels},
  booktitle    = {Programming Languages and Systems - 9th Asian Symposium, {APLAS} 2011,
                  Kenting, Taiwan, December 5-7, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7078},
  pages        = {289--304},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-25318-8\_22},
  doi          = {10.1007/978-3-642-25318-8\_22},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/BonchiGM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/CaoDW11,
  author       = {Zhen Cao and
                  Yuan Dong and
                  Shengyuan Wang},
  editor       = {Hongseok Yang},
  title        = {Compiler Backend Generation for Application Specific Instruction Set
                  Processors},
  booktitle    = {Programming Languages and Systems - 9th Asian Symposium, {APLAS} 2011,
                  Kenting, Taiwan, December 5-7, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7078},
  pages        = {121--136},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-25318-8\_12},
  doi          = {10.1007/978-3-642-25318-8\_12},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/CaoDW11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/ChiM11,
  author       = {Yun{-}Yan Chi and
                  Shin{-}Cheng Mu},
  editor       = {Hongseok Yang},
  title        = {Constructing List Homomorphisms from Proofs},
  booktitle    = {Programming Languages and Systems - 9th Asian Symposium, {APLAS} 2011,
                  Kenting, Taiwan, December 5-7, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7078},
  pages        = {74--88},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-25318-8\_9},
  doi          = {10.1007/978-3-642-25318-8\_9},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aplas/ChiM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/DangG11,
  author       = {Thao Dang and
                  Thomas Martin Gawlitza},
  editor       = {Hongseok Yang},
  title        = {Template-Based Unbounded Time Verification of Affine Hybrid Automata},
  booktitle    = {Programming Languages and Systems - 9th Asian Symposium, {APLAS} 2011,
                  Kenting, Taiwan, December 5-7, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7078},
  pages        = {34--49},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-25318-8\_6},
  doi          = {10.1007/978-3-642-25318-8\_6},
  timestamp    = {Tue, 03 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/DangG11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/FroncP11,
  author       = {Lukasz Fronc and
                  Franck Pommereau},
  editor       = {Hongseok Yang},
  title        = {Towards a Certified Petri Net Model-Checker},
  booktitle    = {Programming Languages and Systems - 9th Asian Symposium, {APLAS} 2011,
                  Kenting, Taiwan, December 5-7, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7078},
  pages        = {322--336},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-25318-8\_24},
  doi          = {10.1007/978-3-642-25318-8\_24},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/FroncP11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/GuptaPR11,
  author       = {Ashutosh Gupta and
                  Corneliu Popeea and
                  Andrey Rybalchenko},
  editor       = {Hongseok Yang},
  title        = {Solving Recursion-Free Horn Clauses over {LI+UIF}},
  booktitle    = {Programming Languages and Systems - 9th Asian Symposium, {APLAS} 2011,
                  Kenting, Taiwan, December 5-7, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7078},
  pages        = {188--203},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-25318-8\_16},
  doi          = {10.1007/978-3-642-25318-8\_16},
  timestamp    = {Fri, 23 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/GuptaPR11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/Jhala11,
  author       = {Ranjit Jhala},
  editor       = {Hongseok Yang},
  title        = {Software Verification with Liquid Types},
  booktitle    = {Programming Languages and Systems - 9th Asian Symposium, {APLAS} 2011,
                  Kenting, Taiwan, December 5-7, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7078},
  pages        = {3},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-25318-8\_2},
  doi          = {10.1007/978-3-642-25318-8\_2},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/Jhala11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/KleinMJF11,
  author       = {Casey Klein and
                  Jay A. McCarthy and
                  Steven Jaconette and
                  Robert Bruce Findler},
  editor       = {Hongseok Yang},
  title        = {A Semantics for Context-Sensitive Reduction Semantics},
  booktitle    = {Programming Languages and Systems - 9th Asian Symposium, {APLAS} 2011,
                  Kenting, Taiwan, December 5-7, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7078},
  pages        = {369--383},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-25318-8\_27},
  doi          = {10.1007/978-3-642-25318-8\_27},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/KleinMJF11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/KokajiK11,
  author       = {Yuichiro Kokaji and
                  Yukiyoshi Kameyama},
  editor       = {Hongseok Yang},
  title        = {Polymorphic Multi-stage Language with Control Effects},
  booktitle    = {Programming Languages and Systems - 9th Asian Symposium, {APLAS} 2011,
                  Kenting, Taiwan, December 5-7, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7078},
  pages        = {105--120},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-25318-8\_11},
  doi          = {10.1007/978-3-642-25318-8\_11},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/KokajiK11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/MagaziniusAS11,
  author       = {Jonas Magazinius and
                  Aslan Askarov and
                  Andrei Sabelfeld},
  editor       = {Hongseok Yang},
  title        = {Decentralized Delimited Release},
  booktitle    = {Programming Languages and Systems - 9th Asian Symposium, {APLAS} 2011,
                  Kenting, Taiwan, December 5-7, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7078},
  pages        = {220--237},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-25318-8\_18},
  doi          = {10.1007/978-3-642-25318-8\_18},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/MagaziniusAS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/MalkisM11,
  author       = {Alexander Malkis and
                  Laurent Mauborgne},
  editor       = {Hongseok Yang},
  title        = {On the Strength of Owicki-Gries for Resources},
  booktitle    = {Programming Languages and Systems - 9th Asian Symposium, {APLAS} 2011,
                  Kenting, Taiwan, December 5-7, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7078},
  pages        = {172--187},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-25318-8\_15},
  doi          = {10.1007/978-3-642-25318-8\_15},
  timestamp    = {Mon, 06 Nov 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aplas/MalkisM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/MilanovaH11,
  author       = {Ana L. Milanova and
                  Wei Huang},
  editor       = {Hongseok Yang},
  title        = {Static Object Race Detection},
  booktitle    = {Programming Languages and Systems - 9th Asian Symposium, {APLAS} 2011,
                  Kenting, Taiwan, December 5-7, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7078},
  pages        = {255--271},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-25318-8\_20},
  doi          = {10.1007/978-3-642-25318-8\_20},
  timestamp    = {Thu, 24 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aplas/MilanovaH11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/MonniauxB11,
  author       = {David Monniaux and
                  Martin Bodin},
  editor       = {Hongseok Yang},
  title        = {Modular Abstractions of Reactive Nodes Using Disjunctive Invariants},
  booktitle    = {Programming Languages and Systems - 9th Asian Symposium, {APLAS} 2011,
                  Kenting, Taiwan, December 5-7, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7078},
  pages        = {19--33},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-25318-8\_5},
  doi          = {10.1007/978-3-642-25318-8\_5},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/MonniauxB11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/Morihata11,
  author       = {Akimasa Morihata},
  editor       = {Hongseok Yang},
  title        = {Macro Tree Transformations of Linear Size Increase Achieve Cost-Optimal
                  Parallelism},
  booktitle    = {Programming Languages and Systems - 9th Asian Symposium, {APLAS} 2011,
                  Kenting, Taiwan, December 5-7, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7078},
  pages        = {204--219},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-25318-8\_17},
  doi          = {10.1007/978-3-642-25318-8\_17},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/Morihata11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/NakataUB11,
  author       = {Keiko Nakata and
                  Tarmo Uustalu and
                  Marc Bezem},
  editor       = {Hongseok Yang},
  title        = {A Proof Pearl with the Fan Theorem and Bar Induction - Walking through
                  Infinite Trees with Mixed Induction and Coinduction},
  booktitle    = {Programming Languages and Systems - 9th Asian Symposium, {APLAS} 2011,
                  Kenting, Taiwan, December 5-7, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7078},
  pages        = {353--368},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-25318-8\_26},
  doi          = {10.1007/978-3-642-25318-8\_26},
  timestamp    = {Thu, 01 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/NakataUB11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/NoriR11,
  author       = {Aditya V. Nori and
                  Sriram K. Rajamani},
  editor       = {Hongseok Yang},
  title        = {Program Analysis and Machine Learning: {A} Win-Win Deal},
  booktitle    = {Programming Languages and Systems - 9th Asian Symposium, {APLAS} 2011,
                  Kenting, Taiwan, December 5-7, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7078},
  pages        = {1--2},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-25318-8\_1},
  doi          = {10.1007/978-3-642-25318-8\_1},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/NoriR11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/OHearn11,
  author       = {Peter W. O'Hearn},
  editor       = {Hongseok Yang},
  title        = {Algebra, Logic, Locality, Concurrency},
  booktitle    = {Programming Languages and Systems - 9th Asian Symposium, {APLAS} 2011,
                  Kenting, Taiwan, December 5-7, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7078},
  pages        = {17--18},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-25318-8\_4},
  doi          = {10.1007/978-3-642-25318-8\_4},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/OHearn11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/OhY11,
  author       = {Hakjoo Oh and
                  Kwangkeun Yi},
  editor       = {Hongseok Yang},
  title        = {Access-Based Localization with Bypassing},
  booktitle    = {Programming Languages and Systems - 9th Asian Symposium, {APLAS} 2011,
                  Kenting, Taiwan, December 5-7, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7078},
  pages        = {50--65},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-25318-8\_7},
  doi          = {10.1007/978-3-642-25318-8\_7},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/OhY11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/Saenz-PerezCG11,
  author       = {Fernando S{\'{a}}enz{-}P{\'{e}}rez and
                  Rafael Caballero and
                  Yolanda Garc{\'{\i}}a{-}Ruiz},
  editor       = {Hongseok Yang},
  title        = {A Deductive Database with Datalog and {SQL} Query Languages},
  booktitle    = {Programming Languages and Systems - 9th Asian Symposium, {APLAS} 2011,
                  Kenting, Taiwan, December 5-7, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7078},
  pages        = {66--73},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-25318-8\_8},
  doi          = {10.1007/978-3-642-25318-8\_8},
  timestamp    = {Wed, 23 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/Saenz-PerezCG11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/Schopp11,
  author       = {Ulrich Sch{\"{o}}pp},
  editor       = {Hongseok Yang},
  title        = {Computation-by-Interaction with Effects},
  booktitle    = {Programming Languages and Systems - 9th Asian Symposium, {APLAS} 2011,
                  Kenting, Taiwan, December 5-7, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7078},
  pages        = {305--321},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-25318-8\_23},
  doi          = {10.1007/978-3-642-25318-8\_23},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/Schopp11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/SuiYXY11,
  author       = {Yulei Sui and
                  Sen Ye and
                  Jingling Xue and
                  Pen{-}Chung Yew},
  editor       = {Hongseok Yang},
  title        = {{SPAS:} Scalable Path-Sensitive Pointer Analysis on Full-Sparse {SSA}},
  booktitle    = {Programming Languages and Systems - 9th Asian Symposium, {APLAS} 2011,
                  Kenting, Taiwan, December 5-7, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7078},
  pages        = {155--171},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-25318-8\_14},
  doi          = {10.1007/978-3-642-25318-8\_14},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/SuiYXY11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/TraytelBN11,
  author       = {Dmitriy Traytel and
                  Stefan Berghofer and
                  Tobias Nipkow},
  editor       = {Hongseok Yang},
  title        = {Extending Hindley-Milner Type Inference with Coercive Structural Subtyping},
  booktitle    = {Programming Languages and Systems - 9th Asian Symposium, {APLAS} 2011,
                  Kenting, Taiwan, December 5-7, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7078},
  pages        = {89--104},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-25318-8\_10},
  doi          = {10.1007/978-3-642-25318-8\_10},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/TraytelBN11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/aplas/2011,
  editor       = {Hongseok Yang},
  title        = {Programming Languages and Systems - 9th Asian Symposium, {APLAS} 2011,
                  Kenting, Taiwan, December 5-7, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7078},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-25318-8},
  doi          = {10.1007/978-3-642-25318-8},
  isbn         = {978-3-642-25317-1},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/2011.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.