text:
% Encoding: UTF-8

@inproceedings{ernst_hoh,
  author    = {Erik Ernst},
  title     = {Higher-Order Hierarchies},
  booktitle = {European Conference on Object-Oriented Programming},
  year      = {2003},
}

@inproceedings{biernacki2015logical,
  title={Logical relations for coherence of effect subtyping},
  author={Biernacki, Dariusz and Polesiuk, Piotr},
  booktitle={International Conference on Typed Lambda Calculi and Applications (TLCA)},
  year={2015},
}

@article{laurent2012intersection,
  title={Intersection types with subtyping by means of cut elimination},
  author={Laurent, Olivier},
  journal={Fundamenta Informaticae},
  volume={121},
  number={1-4},
  pages={203--226},
  year={2012},
}

@InProceedings{Laurent18b,
  author    = {Olivier Laurent},
  title     = {Intersection Subtyping with Constructors},
  booktitle = {Proceedings of the Ninth Workshop on {I}ntersection {T}ypes and {R}elated {S}ystems},
  year      = {2018}
}

@techreport{pierce1989decision,
  title={A decision procedure for the subtype relation on intersection types with bounded variables},
  author={Pierce, Benjamin C},
  institution =  {Carnegie Mellon University},
  year={1989}
}

@Unpublished{Laurent12note,
  author = {Olivier Laurent},
  title  = {A syntactic introduction to intersection types},
  note   = {Unpublished note},
  year   = {2012}
}

@book{Harper_2016,
	year = 2016,
	publisher = {Cambridge University Press},
	author = {Robert Harper},
	title = {Practical Foundations for Programming Languages}
}

@incollection{Reynolds_1991,
	year = 1991,
	pages = {675--700},
	author = {John C. Reynolds},
	title = {The coherence of languages with intersection types},
  publisher="Springer Berlin Heidelberg",
	booktitle = {Lecture Notes in Computer Science (LNCS)}
}

@article{Breazu_Tannen_1991,
	year = 1991,
	volume = {93},
	number = {1},
	pages = {172--221},
	author = {Val Breazu-Tannen and Thierry Coquand and Carl A. Gunter and Andre Scedrov},
	title = {Inheritance as implicit coercion},
	journal = {Information and Computation}
}

@article{cardelli1985understanding,
	year = 1985,
	volume = {17},
	number = {4},
	pages = {471--523},
	author = {Luca Cardelli and Peter Wegner},
	title = {On understanding types, data abstraction, and polymorphism},
	journal = {{ACM} Computing Surveys}
}

@article{Curien_1992,
	year = 1992,
	volume = {2},
	number = {01},
	pages = {55},
	author = {Pierre-Louis Curien and Giorgio Ghelli},
	title = {Coherence of subsumption, minimum typing and type-checking in F$_\leq$},
  journal={Mathematical Structures in Computer Science (MSCS)}
}

@article{SCHWINGHAMMER_2008,
	year = 2008,
	volume = {19},
	number = {02},
	pages = {157},
	author = {Jan Schwinghammer},
	title = {Coherence of subsumption for monadic types},
	journal = {Journal of Functional Programming (JFP)}
}

@article{Moggi_1991,
	year = 1991,
	volume = {93},
	number = {1},
	pages = {55--92},
	author = {Eugenio Moggi},
	title = {Notions of computation and monads},
	journal = {Information and Computation}
}

@phdthesis{morris1969lambda,
  title={Lambda-calculus models of programming languages},
  author={Morris Jr, James Hiram},
  year={1969},
  school={Massachusetts Institute of Technology}
}

@inproceedings{oliveira2016disjoint,
  title={Disjoint intersection types},
  author={Oliveira, Bruno C. d. S. and Shi, Zhiyuan and Alpuim, Jo{\~a}o},
  booktitle={International Conference on Functional Programming (ICFP)},
  year={2016}
}

@inproceedings{alpuimdisjoint,
  title={Disjoint Polymorphism},
  author={Alpuim, Jo{\~a}o and Oliveira, Bruno C. d. S. and Shi, Zhiyuan},
  booktitle = {European Symposium on Programming (ESOP)},
  year={2017}
}

@inproceedings{Ernst_2001,
	year = 2001,
	author = {Erik Ernst},
	title = {Family Polymorphism},
	booktitle = {European Conference on Object-Oriented Programming (ECOOP)}
}

@article{Corradi_2012,
	year = 2012,
	volume = {11},
	number = {2},
	pages = {1:1},
	author = {Andrea Corradi and Marco Servetto and Elena Zucca},
	title = {{DeepFJig} {\textemdash} Modular composition of nested classes.},
	journal = {The Journal of Object Technology}
}

@article{Barendregt_1983,
	year = 1983,
	volume = {48},
	number = {04},
	pages = {931--940},
	author = {Henk Barendregt and Mario Coppo and Mariangiola Dezani-Ciancaglini},
	title = {A filter lambda model and the completeness of type assignment },
	journal = {The journal of symbolic logic}
}

@article{Kurata_1995,
  title={Decidable properties of intersection type systems},
  author={Kurata, Toshihiko and Takahashi, Masako},
  journal={Typed Lambda Calculi and Applications},
  pages={297--311},
  year={1995},
  publisher={Springer}
}

@inproceedings{Rehof_2011,
  title={Finite combinatory logic with intersection types},
  author={Rehof, Jakob and Urzyczyn, Pawe{\l}},
  booktitle={International Conference on Typed Lambda Calculi and Applications},
  year={2011},
}

@article{Statman_2015,
	year = 2015,
	volume = {177},
	pages = {1--9},
	author = {Rick Statman},
	title = {A Finite Model Property for Intersection Types},
	journal = {Electronic Proceedings in Theoretical Computer Science}
}

@inproceedings{bessaiextracting,
  title={Extracting a formally verified Subtyping Algorithm for Intersection Types from Ideals and Filters},
  author={Bessai, Jan and Dudenhefner, Andrej and D{\"u}dder, Boris and Rehof, Jakob},
	booktitle = {TYPES},
	year = 2016,
}

@incollection{reynolds1997design,
  title={Design of the programming language Forsythe},
  author={Reynolds, John C},
  booktitle={ALGOL-like languages},
  pages={173--233},
  year={1997},
}

@incollection{Cardelli_1984,
	year = 1984,
	author = {Luca Cardelli},
	title = {A semantics of multiple inheritance},
	booktitle = {Semantics of Data Types}
}

@article{compagnoni1996higher,
  title={Higher-order intersection types and multiple inheritance},
  author={Compagnoni, Adriana B and Pierce, Benjamin C},
  journal={Mathematical Structures in Computer Science (MSCS)},
  volume={6},
  number={5},
  pages={469--501},
  year={1996}
}

@techreport{odersky2004overview,
  title={An overview of the Scala programming language},
  author={Odersky, Martin and Altherr, Philippe and Cremet, Vincent and Emir, Burak and Maneth, Sebastian and Micheloud, St{\'e}phane and Mihaylov, Nikolay and Schinz, Michel and Stenman, Erik and Zenger, Matthias},
  institution =  {EPFL},
  year={2004}
}

@inproceedings{Rompf_2016,
	year = 2016,
	author = {Tiark Rompf and Nada Amin},
	title = {Type soundness for dependent object types ({DOT})},
	booktitle = {Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA)}
}

@inproceedings{amin2012dependent,
  title={Dependent object types},
  author={Amin, Nada and Moors, Adriaan and Odersky, Martin},
  booktitle={Workshop on Foundations of Object-Oriented Languages},
  year={2012}
}

@inproceedings{bierman2014understanding,
  title={Understanding typescript},
  author={Bierman, Gavin and Abadi, Mart{\'\i}n and Torgersen, Mads},
  booktitle={European Conference on Object-Oriented Programming},
  year={2014},
}

@misc{typescript,
  author = {Microsoft},
  title = {TypeScript},
  year={2012},
  howpublished = "\url{https://www.typescriptlang.org/}"
}

@misc{flow,
  author = {Facebook},
  title = {Flow},
  year={2014},
  howpublished = "\url{https://flow.org/}"
}

@misc{ceylon,
  author = {Redhat},
  title = {Ceylon},
  year={2011},
  howpublished = "\url{https://ceylon-lang.org/}"
}

@inproceedings{Castagna_1992,
	year = 1992,
	author = {Giuseppe Castagna and Giorgio Ghelli and Giuseppe Longo},
	title = {A calculus for overloaded functions with subtyping},
	booktitle = {Conference on LISP and Functional Programming}
}

@phdthesis{davies2005practical,
  title={Practical refinement-type checking},
  author={Davies, Rowan},
  year={2005}
}

@inproceedings{Dunfield_2007,
	year = 2007,
	author = {Joshua Dunfield},
	title = {Refined typechecking with Stardust},
	booktitle = {PLPV}
}

@inproceedings{Freeman_1991,
	year = 1991,
	author = {Tim Freeman and Frank Pfenning},
	title = {Refinement types for {ML}},
	booktitle = {Conference on Programming Language Design and Implementation (PLDI)}
}

@inproceedings{Davies_2000,
	year = 2000,
	author = {Rowan Davies and Frank Pfenning},
	title = {Intersection types and computational effects},
	booktitle = {International Conference on Functional Programming (ICFP)}
}

@inproceedings{dunfield2003type,
  title={Type assignment for intersections and unions in call-by-value languages},
  author={Dunfield, Joshua and Pfenning, Frank},
  booktitle={Foundations of Software Science and Computation Structure (FoSSaCS)},
  year={2003},
}

@inproceedings{sakkinen1989disciplined,
  title={Disciplined Inheritance.},
  author={Sakkinen, Markku},
  booktitle={European Conference on Object-Oriented Programming},
  year={1989}
}

@article{singh1995single,
  title={Single versus multiple inheritance in object oriented programming},
  author={Singh, Ghan Bir},
  journal={ACM SIGPLAN OOPS Messenger},
  volume={6},
  number={1},
  pages={30--39},
  year={1995},
}

@inproceedings{fisher2004typed,
  title={A typed calculus of traits},
  author={Fisher, Kathleen and Reppy, John},
  booktitle={Workshop on Foundations of Object-Oriented Languages},
  year={2004}
}

@inproceedings{jones2016object,
  title={Object inheritance without classes},
  author={Jones, Timothy and Homer, Michael and Noble, James and Bruce, Kim},
  booktitle={LIPIcs},
  year={2016},
}

@inproceedings{ErnstVirtual,
 author = {Ernst, Erik and Ostermann, Klaus and Cook, William R.},
 title = {A Virtual Class Calculus},
 booktitle = {Symposium on Principles of Programming Languages (POPL)},
 year = {2006}
}

@book{plotkin1973lambda,
  title={Lambda-definability and logical relations},
  author={Plotkin, Gordon},
  year={1973},
  publisher={Edinburgh University}
}

@article{tait,
 author = {W. W. Tait},
 journal = {The Journal of symbolic logic},
 number = {2},
 pages = {198-212},
 title = {Intensional Interpretations of Functionals of Finite Type I},
 volume = {32},
 year = {1967}
}

@article{statman1985logical,
  title={Logical relations and the typed $\lambda$-calculus},
  author={Statman, Richard},
  journal={Information and Control},
  volume={65},
  number={2-3},
  pages={85--97},
  year={1985},
}

@inproceedings{Nystrom_2004,
	year = 2004,
	author = {Nathaniel Nystrom and Stephen Chong and Andrew C. Myers},
	title = {Scalable extensibility via nested inheritance},
	booktitle = {Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA)}
}

@inproceedings{reynolds1983types,
  title={Types, Abstraction and Parametric Polymorphism},
  author={Reynolds, John C.},
  booktitle={Proceedings of the IFIP 9th World Computer Congress},
  year={1983}
}

@TechReport{reynolds1988preliminary,
  title={Preliminary design of the programming language Forsythe},
  author={Reynolds, John C},
  institution={Carnegie Mellon University},
  year={1988}
}

@inproceedings{bruce95thistype,
  author    = {Kim B. Bruce and
               Angela Schuett and
               Robert van Gent},
  title     = {PolyTOIL: {A} Type-Safe Polymorphic Object-Oriented Language},
  booktitle = {European Conference on Object-Oriented Programming (ECOOP)},
  year      = {1995}
}

@INPROCEEDINGS{pubsdoc:tribe-virtual-calculus,
booktitle	= {International Conference on Aspect-Oriented Software Development (AOSD)},
title		= {{Tribe: More Types for Virtual Classes}},
author		= {Clarke, David and Drossopoulou, Sophia and Noble, James and Wrigstad, Tobias},
year		= {2007},
}

@article{SAITO_2007,
	year = 2007,
	volume = {18},
	number = {03},
	author = {Chieri Saito and Atsushi Igarashi and Mirko Viroli},
	title = {Lightweight family polymorphism},
	journal = {Journal of Functional Programming (JFP)}
}

@inproceedings{saito09matching,
  author    = {Chieri Saito and
               Atsushi Igarashi},
  title     = {Matching \emph{ThisType} to subtyping},
  booktitle = {Symposium on Applied Computing (SAC)},
  year      = {2009}
}

@inproceedings{Madsen_1989,
	year = 1989,
	author = {O. L. Madsen and B. Moller-Pedersen},
	title = {Virtual classes: a powerful mechanism in object-oriented programming},
	booktitle = {Object-Oriented Programming, Systems, Languages, and Applications (OOPLAS)}
}

@book{LehrmannMadsen:1993:OPB:221048,
 author = {Lehrmann Madsen, Ole and M{\o}-Pedersen, Birger and Nygaard, Kristen},
 title = {Object-oriented Programming in the BETA Programming Language},
 year = {1993},
 publisher={Addison-Wesley}
}

@inproceedings{Nystrom:2006,
 author = {Nystrom, Nathaniel and Qi, Xin and Myers, Andrew C.},
 title = {{J\&: Nested Intersection for Scalable Software Composition}},
 booktitle = {Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA)},
 year = {2006},
}

@inproceedings{wang2016expression,
  title={The expression problem, trivially!},
  author={Wang, Yanlin and Oliveira, Bruno C. d. S.},
  booktitle={Proceedings of the 15th International Conference on Modularity},
  year={2016},
}

@inproceedings{bruce1995binary,
  title={On binary methods},
  author={Bruce, Kim and Cardelli, Luca and Castagna, Giuseppe and Leavens, Gary T and Pierce, Benjamin and others},
  booktitle={Theory and Practice of Object Systems},
  year={1996},
}

@article{CARETTE_2009,
	year = 2009,
	volume = {19},
	number = {05},
	pages = {509},
	author = {Jacques Carette and Oleg Kiselyov and Chung-Chieh Shan},
	title = {Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages},
	journal = {Journal of Functional Programming}
}

@InProceedings{Zhang_2017,
	year = 2017,
	author = {Yizhou Zhang and Andrew C. Myers},
	title = {Familia: unifying interfaces, type classes, and family polymorphism},
  booktitle = {Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA)},
}

@inproceedings{Qi:2009,
 author = {Qi, Xin and Myers, Andrew C.},
 title = {Sharing Classes Between Families},
 booktitle = {Conference on Programming Language Design and Implementation (PLDI)},
 year = {2009},
}

@inproceedings{jolly2004simple,
  title={Simple dependent types: Concord},
  author={Jolly, Paul and Drossopoulou, Sophia and Anderson, Christopher and Ostermann, Klaus},
  year={2004},
  booktitle = {European Conference on Object-Oriented Programming Workshop on Formal Techniques for Java Programs (FTfJP)},
}

@inproceedings{Siek_2015,
	year = 2015,
	author = {Jeremy Siek and Peter Thiemann and Philip Wadler},
	title = {Blame and coercion: together again for the first time},
	booktitle = {Conference on Programming Language Design and Implementation (PLDI)}
}

@article{Henglein_1994,
	year = 1994,
	month = {6},
	publisher = {Elsevier {BV}},
	volume = {22},
	number = {3},
	pages = {197--230},
	author = {Fritz Henglein},
	title = {Dynamic typing: syntax and proof theory},
	journal = {Science of Computer Programming}
}

@phdthesis{ahmed2004semantics,
  title={Semantics of types for mutable state},
  author={Ahmed, Amal},
  year={2004},
  school={Princeton University}
}

@article{herman2010space,
  title={Space-efficient gradual typing},
  author={Herman, David and Tomb, Aaron and Flanagan, Cormac},
  journal={Higher-Order and Symbolic Computation},
  volume={23},
  number={2},
  pages={167},
  year={2010},
  publisher={Springer}
}

@inproceedings{scharli2003traits,
  title={Traits: Composable units of behaviour},
  author={Sch{\"a}rli, Nathanael and Ducasse, St{\'e}phane and Nierstrasz, Oscar and Black, Andrew P},
  booktitle={European Conference on Object-Oriented Programming (ECOOP)},
  year={2003},
}

@inproceedings{cook1989denotational,
	year = {1989},
	author = {Cook, William R. and Palsberg, Jens},
	title = {A denotational semantics of inheritance and its correctness},
	booktitle = {Object-Oriented Programming: Systems, Languages and Applications (OOPSLA)}
}

@article{wadler1998expression,
  title={The expression problem},
  author={Wadler, Philip},
  journal={Java-genericity mailing list},
  year={1998}
}

@Article{coppo1981functional,
  author       = {Mario Coppo and Mariangiola Dezani{-}Ciancaglini and Betti Venneri},
  title        = {Functional Characters of Solvable Terms},
  year         = 1981,
  volume       = 27,
  number       = {2-6},
  pages        = {45-58},
  journal={Mathematical Logic Quarterly},
}

@Article{dunfield2014elaborating,
  author       = {Joshua Dunfield},
  title        = {Elaborating intersection and union types},
  year         = 2014,
  volume       = 24,
  number       = {2-3},
  pages        = {133-165},
  journal={Journal of Functional Programming (JFP)},
}

@inproceedings{oliveira09modular,
  title = {Modular Visitor Components: A Practical Solution to the Expression Families Problem},
  author = {Oliveira, Bruno C. d. S.},
  year = {2009},
  booktitle = {European Conference on Object Oriented Programming (ECOOP)},
}

@inproceedings{oliveira2012extensibility,
  title={Extensibility for the Masses},
  author={Oliveira, Bruno C. d. S. and Cook, William R.},
  booktitle={European Conference on Object-Oriented Programming (ECOOP)},
  year={2012},
}

@inproceedings{cook1989inheritance,
  title={Inheritance is not subtyping},
  author={Cook, William R. and Hill, Walter and Canning, Peter S},
  booktitle={Principles of Programming Languages (POPL)},
  year={1989},
}

@inproceedings{togersen:2004,
  author    = {Mads Torgersen},
  title     = {{The Expression Problem Revisited}},
  booktitle = {European Conference on Object-Oriented Programming (ECOOP)},
  year      = {2004},
}

@inproceedings{oliveira2013feature,
  title={Feature-Oriented programming with object algebras},
  author={Oliveira, Bruno C. d. S. and Van Der Storm, Tijs and Loh, Alex and Cook, William R},
  booktitle={European Conference on Object-Oriented Programming (ECOOP)},
  year={2013}
}

@inproceedings{rendel14attributes,
 author = {Rendel, Tillmann and Brachth\"{a}user, Jonathan Immanuel and Ostermann, Klaus},
 title = {From Object Algebras to Attribute Grammars},
 booktitle = {Object-Oriented Programming, Systems Languages and Applications (OOPSLA)},
 year = {2014}
}

@BOOK{poplcook,
  TITLE = {Anatomy of Programming Languages},
  AUTHOR = {William R. Cook},
  YEAR = {2013},
  url = {http://www.cs.utexas.edu/~wcook/anatomy/}
}

@article{pottinger1980type,
  title={A type assignment for the strongly normalizable $\lambda$-terms},
  author={Pottinger, Garrel},
  journal={To HB Curry: essays on combinatory logic, lambda calculus and formalism},
  pages={561--577},
  year={1980}
}

@inproceedings{bracha1990mixin,
  title={Mixin-based inheritance},
  author={Bracha, Gilad and Cook, William R.},
  booktitle={Object-Oriented Programming, Systems, Languages and Applications (OOPSLA)},
  year={1990},
}

@inproceedings{flatt1998classes,
  title={Classes and mixins},
  author={Flatt, Matthew and Krishnamurthi, Shriram and Felleisen, Matthias},
  booktitle={Principles of Programming Languages (POPL)},
  year={1998},
}

@inproceedings{chambers1992object,
  title={Object-oriented multi-methods in Cecil},
  author={Chambers, Craig},
  booktitle={European Conference on Object-Oriented Programming (ECOOP)},
  year={1992},
}

@techreport{chambers1993cecil,
  title={The Cecil Language},
  author={Chambers, Craig},
  year={1993},
  institution={University of Washington}
}

@InProceedings{lieberman1986using,
  author       = {Henry Lieberman},
  title        = {Using Prototypical Objects to Implement Shared Behavior in Object Oriented Systems},
  year         = 1986,
  booktitle    = {Object-Oriented Programming Systems, Languages, and Applications (OOPSLA)},
}

@inproceedings{kniesel1999type,
  title={Type-safe delegation for run-time component adaptation},
  author={Kniesel, G{\"u}nter},
  booktitle={European Conference on Object-Oriented Programming (ECOOP)},
  year={1999},
}

@inproceedings{ostermann2001object,
  title={Object-oriented composition untangled},
  author={Ostermann, Klaus and Mezini, Mira},
  booktitle={Object-Oriented Programming: Systems, Languages and Applications (OOPSLA)},
  year={2001},
}

@inproceedings{buchi2000generic,
  title={Generic wrappers},
  author={B{\"u}chi, Martin and Weck, Wolfgang},
  booktitle={European Conference on Object-Oriented Programming (ECOOP)},
  year={2000},
}

@article{ernst2000gbeta,
  title={gbeta-a language with virtual attributes, Block Structure, and Propagating, Dynamic Inheritance},
  author={Ernst, Erik},
  journal={DAIMI Report Series},
  volume={29},
  number={549},
  year={2000}
}

@article{ostermann2008nominal,
	year = 2008,
	volume = {7},
	number = {1},
	pages = {121--145},
	author = {Klaus Ostermann},
	title = {Nominal and Structural Subtyping in Component-Based Programming.},
	journal = {The Journal of Object Technology}
}

@inproceedings{ostermann2002dynamically,
  title={Dynamically composable collaborations with delegation layers},
  author={Ostermann, Klaus},
  booktitle={European Conference on Object-Oriented Programming (ECOOP)},
  year={2002},
}

@inproceedings{wegner1987dimensions,
  title={Dimensions of object-based language design},
  author={Wegner, Peter},
  year={1987},
  booktitle={Object-Oriented Programming: Systems, Languages and Applications (OOPSLA)},
}

@inproceedings{malenfant1995semantic,
  title={On the semantic diversity of delegation-based programming languages},
  author={Malenfant, Jacques},
  booktitle={Object-Oriented Programming: Systems, Languages and Applications (OOPSLA)},
  year={1995},
}

@article{anderson2003can,
  title={Can Addresses be Types?: A case study: objects with delegation},
  author={Anderson, Christopher and Barbanera, Franco and Dezani-Ciancaglini, Mariangiola and Drossopoulou, Sophia},
  journal={Electronic Notes in Theoretical Computer Science},
  volume={82},
  number={8},
  pages={108--129},
  year={2003},
}

@inproceedings{menon2012big,
  title={Big Bang: Designing a statically-typed scripting language},
  author={Menon, PH and Palmer, Z and Rozenshteyn, A and Smith, S},
  booktitle={International Workshop on Scripts to Programs (STOP)},
  year={2012}
}

@phdthesis{palmer2015building,
  title={Building a Typed Scripting Language},
  author={Palmer, Zachary Eli},
  year={2015},
  school={Johns Hopkins University}
}

@inproceedings{bono1999core,
  title={A core calculus of classes and mixins},
  author={Bono, Viviana and Patel, Amit and Shmatikov, Vitaly},
  booktitle={European Conference on Object-Oriented Programming (ECOOP)},
  year={1999},
}

@inproceedings{ancona2003jam,
  title={Jam--designing a Java extension with mixins},
  author={Ancona, Davide and Lagorio, Giovanni and Zucca, Elena},
  booktitle={Transactions on Programming Languages and Systems (TOPLAS)},
  year={2003},
}

@article{dahl1967simula,
  title={Simula 67 common base language},
  author={Dahl, Ole-Johan and Myhrhaug, Bjorn and Nygaard, Kristen},
  year={1967}
}

@article{meyer1987eiffel,
  title={Eiffel: programming for reusability and extendibility},
  author={Meyer, Bertrand},
  journal={ACM Sigplan Notices},
  volume={22},
  number={2},
  pages={85--94},
  year={1987},
  publisher={ACM}
}

@inproceedings{odersky2005scalable,
  title={Scalable component abstractions},
  author={Odersky, Martin and Zenger, Matthias},
  booktitle={Object-Oriented Programming: Systems, Languages and Applications (OOPSLA)},
  year={2005},
}

@inproceedings{ungar1988self,
  title={SELF: the power of simplicity (object-oriented language)},
  author={Ungar, David and Smith, Randall B},
  booktitle={Thirty-Third IEEE Computer Society International Conference, Digest of Papers},
  year={1988},
}

@inproceedings{fisher1995delegation,
  title={A delegation-based object calculus with subtyping},
  author={Fisher, Kathleen and Mitchell, John},
  booktitle={Fundamentals of Computation Theory},
  year={1995},
}

@book{goldberg1989smalltalk,
  title={Smalltalk-80: the language},
  author={Goldberg, Adele and Robson, David},
  year={1989},
  publisher={Addison-Wesley Longman Publishing Co., Inc.}
}

@inproceedings{bettini2010prototypical,
  title={A prototypical Java-like language with records and traits},
  author={Bettini, Lorenzo and Damiani, Ferruccio and Schaefer, Ina and Strocco, Fabio},
  booktitle={Proceedings of the 8th International Conference on the Principles and Practice of Programming in Java},
  year={2010},
}

@techreport{scharli2003traitsformal,
  title={Traits: The formal model},
  author={Scharli, Nathanael and Ducasse, St and Wuyts, Roel and Black, Andrew and others},
  institution={Oregon Health \& Science University},
  year={2003}
}

@article{cardelli1984semantics,
  title={A semantics of multiple inheritance},
  author={Cardelli, Luca},
  journal={Semantics of data types},
  pages={51--67},
  year={1984},
}

@article{america1991designing,
  title={Designing an object-oriented programming language with behavioural subtyping},
  author={America, Pierre},
  journal={Foundations of object-oriented languages},
  year={1991},
}

@inproceedings{graver1989type,
  title={A type system for Smalltalk},
  author={Graver, Justin O and Johnson, Ralph E},
  booktitle={Principles of programming languages (POPL)},
  year={1989},
}

@inproceedings{bruce1995polytoil,
  title={PolyTOIL: A type-safe polymorphic object-oriented language},
  author={Bruce, Kim B and Schuett, Angela and Van Gent, Robert},
  booktitle={European Conference on Object-Oriented Programming (ECOOP)},
  year={1995},
}

@inproceedings{Smaragdakis98mixin,
 author = {Smaragdakis, Yannis and Batory, Don S.},
 title = {Implementing Layered Designs with Mixin Layers},
 booktitle = {European Conference on Object-Oriented Programming (ECOOP)},
 year = {1998}
}

@incollection{Aracic06CaesarJ,
 author = {Aracic, Ivica and Gasiunas, Vaidas and Mezini, Mira and Ostermann, Klaus},
 chapter = {An Overview of Caesarj},
 title = {Transactions on Aspect-Oriented Software Development I},
 year = {2006}
}

@inproceedings{McDirmid01Jiazzi,
 author = {McDirmid, Sean and Flatt, Matthew and Hsieh, Wilson C.},
 title = {Jiazzi: New-age Components for Old-fasioned Java},
 booktitle = {Object-oriented Programming, Systems, Languages, and Applications (OOPSLA)},
 year = {2001}
}

@inproceedings{Harrison93subject,
 author = {Harrison, William and Ossher, Harold},
 title = {Subject-oriented Programming: A Critique of Pure Objects},
 booktitle = {Object-oriented Programming Systems, Languages, and Applications (OOPSLA)},
 year = {1993},
}

@inproceedings{Tarr99ndegrees,
 author = {Tarr, Peri and Ossher, Harold and Harrison, William and Sutton,Jr., Stanley M.},
 title = {N Degrees of Separation: Multi-dimensional Separation of Concerns},
 booktitle = {Proceedings of the 21st International Conference on Software Engineering},
 year = {1999},
}

@inproceedings{Prehofer97,
  author =   {Christian Prehofer},
  title =    {Feature-Oriented Programming: A Fresh Look at Objects},
  booktitle =    {Object-Oriented Programming 11th European Conference},
  year =   1997
}

@InProceedings{Zenger-Odersky2005 ,
  author =   {Zenger, Mathhias and Odersky, Martin},
  title =        {Independently Extensible Solutions to the Expression Problem},
  booktitle =    {Foundations of Object-Oriented Languages},
  year =         2005,
}

@inproceedings{Oliveira_2008,
	year = 2008,
	author = {Oliveira, Bruno C. d. S. and Wang, Meng and Gibbons, Jeremy},
	title = {The visitor pattern as a reusable, generic, type-safe component},
	booktitle = {Object Oriented Programming: Systems, Languages and Applications (OOPSLA)}
}

@article{zave1999faq,
  title={Faq sheet on feature interaction},
  author={Zave, Pamela},
  journal={Link: http://www. research. att. com/\~{} pamela/faq. html},
  year={1999}
}

@inproceedings{lopez2005evaluating,
  title={Evaluating support for features in advanced modularization technologies},
  author={Lopez-Herrejon, Roberto E and Batory, Don and Cook, William},
  booktitle={European Conference on Object-Oriented Programming (ECOOP)},
  year={2005},
}

@inproceedings{wand1987complete,
  title={Complete type inference for simple objects},
  author={Wand, Mitchell},
  booktitle={Symposium on Logic in Computer Science (LICS)},
  year={1987}
}

@inproceedings{wand1989type,
  title={Type Inference for Record Concatenation and Multiple Inheritance},
  author={Wand, Mitchell},
  booktitle={Symposium on Logic in Computer Science (LICS)},
  year={1989}
}

@InProceedings{DBLP:conf/oopsla/TakikawaSDTF12,
  author       = {Asumu Takikawa and T. Stephen Strickland and Christos Dimoulas
                  and Sam Tobin{-}Hochstadt and Matthias Felleisen},
  title        = {Gradual typing for first-class classes},
  year         = 2012,
  booktitle = {Object-oriented Programming: Systems, Languages and Applications (OOPSLA)},
}

@InProceedings{DBLP:conf/ecoop/LeeASP15,
  author       = {Joseph Lee and Jonathan Aldrich and Troy Shaw and Alex
                  Potanin},
  title        = {A Theory of Tagged Objects},
  year         = 2015,
  booktitle    = {European Conference on Object-Oriented Programming (ECOOP)},
}

@InProceedings{DBLP:conf/ecoop/0002HNB16,
  author       = {Timothy Jones and Michael Homer and James Noble and Kim B.
                  Bruce},
  title        = {Object Inheritance Without Classes},
  year         = 2016,
  booktitle    = {European Conference on Object-Oriented Programming (ECOOP)},
}

@Article{DBLP:journals/jot/NobleBBHJ17,
  author       = {James Noble and Andrew P. Black and Kim B. Bruce and Michael
                  Homer and Timothy Jones},
  title        = {Grace's Inheritance},
  year         = 2017,
  volume       = 16,
  number       = 2,
  pages        = {2:1--35},
  journal      = {Journal of Object Technology},
}

@book{EcmaScript:15,
  added-at = {2015-08-28T15:36:26.000+0200},
  address = {Geneva},
  author = {{ECMA International}},
  edition = {6th},
  keywords = {JavaScript spec specification},
  month = {6},
  timestamp = {2015-08-28T15:37:30.000+0200},
  title = {{ECMAScript 2015 Language Specification}},
  url = {http://www.ecma-international.org/ecma-262/6.0/ECMA-262.pdf},
  year = 2015
}

@article{wand1994type,
  title={Type inference for objects with instance variables and inheritance},
  author={Wand, Mitchell},
  journal={Theoretical aspects of object-oriented programming},
  pages={97--120},
  year={1994}
}

@InProceedings{DBLP:conf/oopsla/AllenBC03,
  author       = {Eric E. Allen and Jonathan Bannet and Robert Cartwright},
  title        = {A first-class approach to genericity},
  year         = 2003,
  booktitle    = {Object-Oriented Programming Systems, Languages and Applications (OOPSLA)},
}

@Book{DBLP:books/daglib/0005958,
  author       = {Benjamin C. Pierce},
  title        = {Types and programming languages},
  year         = 2002,
  publisher    = {{MIT} Press},
  isbn         = {978-0-262-16209-8},
  timestamp    = {Thu, 03 Feb 2011 10:51:35 +0100},
  biburl       = {http://dblp.org/rec/bib/books/daglib/0005958},
  bibsource    = {dblp computer science bibliography, http://dblp.org}
}

@InProceedings{DBLP:conf/gcse/SmaragdakisB00,
  author       = {Yannis Smaragdakis and Don S. Batory},
  title        = {Mixin-Based Programming in {C++}},
  year         = 2000,
  booktitle    = {Generative and Component-Based Software Engineering (GCSE)},
}

@InProceedings{DBLP:conf/aplas/FlattFF06,
  author       = {Matthew Flatt and Robert Bruce Findler and Matthias Felleisen},
  title        = {Scheme with Classes, Mixins, and Traits},
  year         = 2006,
  booktitle    = {Programming Languages and Systems (APLAS)},
}

@ONLINE{javascript,
title = {JavaScript},
url = {https://www.javascript.com/}
}

@ONLINE{ruby,
title = {Ruby},
url = {https://www.ruby-lang.org/en/}
}

@ONLINE{python,
title = {Python},
url = {https://www.python.org/}
}

@ONLINE{racket,
title = {Racket},
url = {https://racket-lang.org/}
}

@phdthesis{bracha1992programming,
  title={The programming language jigsaw: mixins, modularity and multiple inheritance},
  author={Bracha, Gilad},
  year={1992},
  school={Dept. of Computer Science, University of Utah}
}

@Article{DBLP:journals/jfp/FindlerCFFKSF02,
  author       = {Robert Bruce Findler and John Clements and Cormac Flanagan and
                  Matthew Flatt and Shriram Krishnamurthi and Paul Steckler and
                  Matthias Felleisen},
  title        = {DrScheme: a programming environment for Scheme},
  year         = 2002,
  volume       = 12,
  number       = 2,
  pages        = {159-182},
  journal      = {Journal of Functional Programing},
}

@InProceedings{DBLP:journals/corr/BessaiDDCd15,
  author       = {Jan Bessai and Boris D{\"{u}}dder and Andrej Dudenhefner and
                  Tzu{-}Chun Chen and Ugo de'Liguoro},
  title        = {Typing Classes and Mixins with Intersection Types},
  year         = 2014,
  booktitle    = {Workshop on Intersection Types and Related Systems (ITRS)},
}

@article{Ducasse_2006,
	year = 2006,
	volume = {28},
	number = {2},
	pages = {331--388},
	author = {St{\'{e}}phane Ducasse and Oscar Nierstrasz and Nathanael Schärli and Roel Wuyts and Andrew P. Black},
	title = {Traits: A Mechanism for Fine-grained Reuse},
	journal = {Transactions on Programming Languages and Systems (TOPLAS)}
}

@article{JOT:issue_2006_05/article4,
  author = {Oscar Nierstrasz and St\'{e}phane Ducasse and Nathanael Sch\"{a}rli},
  title = {Flattening Traits},
  journal = {Journal of Object Technology},
  volume = {5},
  number = {4},
  year = {2006},
  pages = {129-148},
}

@article{LAGORIO201286,
  title = "Featherweight Jigsaw — Replacing inheritance by composition in Java-like languages",
  journal = "Information and Computation",
  volume = "214",
  pages = "86 - 111",
  year = "2012",
  issn = "0890-5401",
  author = "Giovanni Lagorio and Marco Servetto and Elena Zucca"
}

@InProceedings{chai_trait,
  author="Smith, Charles and Drossopoulou, Sophia",
  title="Chai: Traits for Java-Like Languages",
  booktitle={European Conference on Object-Oriented Programming (ECOOP)},
  year=2005
}

@article{BETTINI2013521,
  title = "TraitRecordJ: A programming language with traits and records",
  journal = "Science of Computer Programming",
  volume = "78",
  number = "5",
  pages = "521 - 541",
  year = "2013",
  issn = "0167-6423",
  author = "Lorenzo Bettini and Ferruccio Damiani and Ina Schaefer and Fabio Strocco",
  keywords = "Java, Trait, Type system, Implementation, Eclipse"
}

@article{BETTINI2017419,
title = "Xtraitj: Traits for the Java platform",
journal = "Journal of Systems and Software",
volume = "131",
pages = "419 - 441",
year = "2017",
issn = "0164-1212",
author = "Lorenzo Bettini and Ferruccio Damiani",
keywords = "Java, Trait, IDE, Implementation, Eclipse"
}

@article{SERVETTO2014219,
title = "A meta-circular language for active libraries",
journal = "Science of Computer Programming",
volume = "95",
pages = "219 - 253",
year = "2014",
author = "Marco Servetto and Elena Zucca",
keywords = "Java, Meta-programming, Nested classes, Active libraries"
}

@article{BETTINI2013907,
title = "On flexible dynamic trait replacement for Java-like languages",
journal = "Science of Computer Programming",
volume = "78",
number = "7",
pages = "907 - 932",
year = "2013",
issn = "0167-6423",
author = "Lorenzo Bettini and Sara Capecchi and Ferruccio Damiani",
keywords = "Featherweight Java, Trait, Type system"
}

@article{ANCONA_2002,
	doi = {10.1017/s0956796801004257},
	url = {https://doi.org/10.1017%2Fs0956796801004257},
	year = 2002,
	month = {mar},
	publisher = {Cambridge University Press ({CUP})},
	volume = {12},
	number = {02},
	author = {DAVIDE ANCONA and ELENA ZUCCA},
	title = {A calculus of module systems},
	journal = {Journal of Functional Programming}
}

@article{Rossberg_2013,
	year = 2013,
	volume = {35},
	number = {1},
	pages = {1--84},
	author = {Andreas Rossberg and Derek Dreyer},
	title = {Mixin' Up the {ML} Module System},
	journal = {Transactions on Programming Languages and Systems (TOPLAS)}
}

@inproceedings{MacQueen_1984,
	year = 1984,
	author = {David MacQueen},
	title = {Modules for standard {ML}},
	booktitle = {Symposium on {LISP} and functional programming (LFP)}
}

@INPROCEEDINGS{Bracha92modularitymeets,
    author = {Gilad Bracha and Gary Lindstrom},
    title = {Modularity meets Inheritance},
    booktitle = {International Conference on Computer Languages},
    year = {1992}
}

@article{cardelli1994extension,
  title={An extension of system F with subtyping},
  author={Cardelli, Luca and Martini, Simone and Mitchell, John C and Scedrov, Andre},
  journal={Information and Computation},
  volume={109},
  number={1-2},
  pages={4--56},
  year={1994},
}

@article{leivant1991finitely,
  title={Finitely stratified polymorphism},
  author={Leivant, Daniel},
  journal={Information and Computation},
  volume={93},
  number={1},
  pages={93--113},
  year={1991},
  publisher={Elsevier}
}

@inproceedings{wadler1989theorems,
  title={Theorems for Free!},
  author={Wadler, Philip},
  booktitle={Proceedings of the 4th International Conference on Functional Programming Languages and Computer Architecture},
  year={1989},
}

@InProceedings{bi_et_al:LIPIcs:2018:9227,
  author =	{Bi, Xuan and Oliveira, Bruno C. d. S. and Schrijvers, Tom},
  title =	{{The Essence of Nested Composition}},
  booktitle =	{European Conference on Object-Oriented Programming  (ECOOP)},
  year =	{2018},
}

@InProceedings{bi_et_al:LIPIcs:2018:9214,
  author =	{Bi, Xuan and Oliveira, Bruno C. d. S.},
  title =	{{Typed First-Class Traits}},
  booktitle =	{European Conference on Object-Oriented Programming  (ECOOP)},
  year =	{2018},
}

@article{coppoInter,
author = {Coppo, Mario and Dezani-Ciancaglini, Mariangiola},
year = {1978},
month = {01},
pages = {139-156},
title = {A new type assignment for $\lambda$-terms},
volume = {19},
booktitle = {Archiv. Math. Logik}
}

@BOOK{CurryFeys,
  AUTHOR = {Haskell B. Curry and Robert Feys},
  TITLE = {Combinatory Logic},
  VOLUME = 1,
  PUBLISHER = {North Holland},
  YEAR = 1958,
  CHECKED = {Not checked},
  COMPLETE = {Incomplete},
  NOTE = {Second edition, 1968}
}

@article{swierstra_2008,
  title={Data types à la carte},
  volume={18},
  number={4},
  journal={Journal of Functional Programming (JFP)},
  author={Swierstra, Wouter},
  year={2008},
  pages={423–436}
}

@article{ernst2004expression,
  title={The expression problem, Scandinavian style},
  author={Ernst, Erik},
  journal={On Mechanisms For Specialization},
  pages={27},
  year={2004}
}

@inproceedings{cook:multi,
 author = {Cook, Steve},
 title = {Varieties of inheritance},
 booktitle = {Addendum to the Proceedings on Object-oriented Programming Systems, Languages and Applications (Addendum)},
 year = {1987},
 pages = {35--40},
 numpages = {6}
}

@article{hindley1969principal,
  title={The principal type-scheme of an object in combinatory logic},
  author={Hindley, Roger},
  journal={Transactions of the american mathematical society},
  volume={146},
  pages={29--60},
  year={1969}
}

@article{milner1978theory,
  title={A theory of type polymorphism in programming},
  author={Milner, Robin},
  journal={Journal of computer and system sciences},
  volume={17},
  number={3},
  pages={348--375},
  year={1978}
}

@inproceedings{lambek1985cartesian,
  title={Cartesian closed categories and typed $\lambda$-calculi},
  author={Lambek, Joachim},
  booktitle={LITP Spring School on Theoretical Computer Science},
  pages={136--175},
  year={1985}
}

@inproceedings{odersky1996putting,
  title={Putting Type Annotations to Work},
  author={Odersky, Martin and L{\"a}ufer, Konstantin},
  booktitle={Symposium on Principles of Programming Languages (POPL)},
  year={1996},
}

@article{jones2007practical,
  title={Practical Type Inference for Arbitrary-Rank Types},
  author={Peyton Jones, Simon and Vytiniotis, Dimitrios and Weirich, Stephanie and Shields, Mark},
  journal={Journal of Functional Programming (JFP)},
  volume={17},
  number={1},
  pages={1--82},
  year={2007},
}

@inproceedings{dunfield2013complete,
  title={Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism},
  author={Dunfield, Joshua and Krishnaswami, Neelakantan R},
  booktitle={International Conference on Functional Programming (ICFP)},
  year={2013},
}

@inproceedings{xie2018consistent,
  title={Consistent Subtyping for All},
  author={Xie, Ningning and Bi, Xuan and Oliveira, Bruno C. d. S.},
  booktitle={European Symposium on Programming (ESOP)},
  year={2018},
}

@inproceedings{siek2015refined,
  title={Refined Criteria for Gradual Typing},
  author={Siek, Jeremy G. and Vitousek, Michael M and Cimini, Matteo and Boyland, John Tang},
  booktitle={LIPIcs-Leibniz International Proceedings in Informatics},
  year={2015},
}

@techreport{gaster1996polymorphic,
  title={A polymorphic type system for extensible records and variants},
  author={Gaster, Benedict R and Jones, Mark P},
  institution={University of Nottingham},
  year={1996}
}

@inproceedings{Harper:1991:RCB:99583.99603,
 author = {Harper, Robert and Pierce, Benjamin},
 title = {A Record Calculus Based on Symmetric Concatenation},
 booktitle = {Principles of Programming Languages (POPL)},
 year = {1991}
}

@inproceedings{DBLP:conf/litp/Cardelli85,
  author    = {Luca Cardelli},
  title     = {Amber},
  booktitle = {Combinators and Functional Programming Languages, Thirteenth Spring
               School of the LITP},
  year      = {1985}
}

@article{appel2001indexed,
  title={An indexed model of recursive types for foundational proof-carrying code},
  author={Appel, Andrew W and McAllester, David},
  journal={ACM Transactions on Programming Languages and Systems (TOPLAS)},
  volume={23},
  number={5},
  pages={657--683},
  year={2001}
}

@inproceedings{ahmed2006step,
  title={Step-indexed syntactic logical relations for recursive and quantified types},
  author={Ahmed, Amal},
  booktitle={European Symposium on Programming (ESOP)},
  year={2006}
}

@inproceedings{bono2008traits,
  title={On traits and types in a Java-like setting},
  author={Bono, Viviana and Damiani, Ferruccio and Giachino, Elena},
  booktitle={Fifth Ifip International Conference On Theoretical Computer Science--Tcs 2008},
  pages={367--382},
  year={2008}
}

@inproceedings{fisher2000extending,
  title={Extending Moby with inheritance-based subtyping},
  author={Fisher, Kathleen and Reppy, John},
  booktitle={European Conference on Object-Oriented Programming},
  pages={83--107},
  year={2000}
}

@inproceedings{castagna2014polymorphic,
  title={Polymorphic functions with set-theoretic types: part 1: syntax, semantics, and evaluation},
  author={Castagna, Giuseppe and Nguyen, Kim and Xu, Zhiwu and Im, Hyeonseung and Lenglet, Sergue{\"\i} and Padovani, Luca},
  booktitle={Principles of Programming Languages (POPL)},
  year={2014}
}

@book{Naur:1969:SER:1102020,
 editor = {Naur, Peter and Randell, Brian},
 title = {Software Engineering: Report of a Conference Sponsored by the NATO Science Committee, Garmisch, Germany, 7-11 Oct. 1968, Brussels, Scientific Affairs Division, NATO},
 year = {1969},
}

@phdthesis{pierce1991programming,
  title={Programming with intersection types and bounded polymorphism},
  author={Pierce, Benjamin C},
  year={1991},
  school={University of Pennsylvania}
}

@article{leijen2005extensible,
  title={Extensible records with scoped labels.},
  author={Leijen, Daan},
  journal={Trends in Functional Programming},
  volume={5},
  pages={297--312},
  year={2005}
}

@inproceedings{cardelli1989operations,
  title={Operations on records},
  author={Cardelli, Luca and Mitchell, John C},
  booktitle={International Conference on Mathematical Foundations of Programming Semantics},
  year={1989}
}

@inproceedings{Crary_1999,
	year = 1999,
	author = {Karl Crary and Robert Harper and Sidd Puri},
	title = {What is a recursive module?},
	booktitle = {Programming Language Design and Implementation (PLDI)}
}

@inproceedings{Russo_2001,
	year = 2001,
	author = {Claudio V. Russo},
	title = {Recursive structures for standard {ML}},
	booktitle = {International Conference on Functional Programming (ICFP)}
}

@article{ROSSBERG_2014,
	year = 2014,
	volume = {24},
	number = {05},
	pages = {529--607},
	author = {Andreas Rossberg and Claudio Russo and Derek Dreyer},
	title = {F-ing modules},
	journal = {Journal of Functional Programming (JFP)}
}

@inproceedings{Rossberg_2015,
	year = 2015,
	author = {Andreas Rossberg},
	title = {1ML {\textendash} core and modules united (F-ing first-class modules)},
	booktitle = {International Conference on Functional Programming (ICFP)}
}

@inproceedings{xuanbiesop,
  year={2019},
  author =	{Bi, Xuan and Xie, Ningning and Oliveira, Bruno C. d. S. and Schrijvers, Tom},
  title={Distributive Disjoint Polymorphism for Compositional Programming},
  booktitle={European Symposium on Programming (ESOP)},
}

@article{pierce1994bounded,
  title={Bounded quantification is undecidable},
  author={Pierce, Benjamin C},
  journal={Information and Computation},
  volume={112},
  number={1},
  pages={131--165},
  year={1994}
}

@inproceedings{DBLP:conf/icfp/GibbonsW14,
  author    = {Jeremy Gibbons and
               Nicolas Wu},
  title     = {Folding domain-specific languages: deep and shallow embeddings (functional Pearl)},
  booktitle = {{ICFP}},
  pages     = {339--347},
  publisher = {{ACM}},
  year      = {2014}
}

@incollection{kiselyov2012typed,
  title={Typed tagless final interpreters},
  author={Kiselyov, Oleg},
  booktitle={Generic and Indexed Programming},
  pages={130--174},
  year={2012},
  publisher={Springer}
}

@inproceedings{hinze2004algebra,
  title={An algebra of scans},
  author={Hinze, Ralf},
  booktitle={International Conference on Mathematics of Program Construction},
  pages={186--210},
  year={2004}
}

@article{fokkinga1989tupling,
  title={Tupling and mutumorphisms},
  author={Fokkinga, Maarten M},
  journal={Squiggolist},
  volume={1},
  number={4},
  year={1989}
}

@inproceedings{brent1980chip,
  title={The chip complexity of binary arithmetic},
  author={Brent, Richard P and Kung, Hsiang-Tsung},
  booktitle={Proceedings of the twelfth annual ACM symposium on Theory of computing},
  pages={190--200},
  year={1980},
}

@inproceedings{muehlboeck2018empowering,
  title={Empowering union and intersection types with integrated subtyping},
  author={Muehlboeck, Fabian and Tate, Ross},
  booktitle={OOPSLA},
  year={2018}
}

@MastersThesis{lasselambda,
  author =       {Blaauwbroek,Lasse},
  title =        {On the Interaction Between Unrestricted Union and Intersection Types and Computational Effects},
  school =       {Technical University Eindhoven},
  year =         {2017}
}

@article{Castagna_2017,
	year = 2017,
	month = {aug},
	publisher = {Association for Computing Machinery ({ACM})},
	volume = {1},
	number = {{ICFP}},
	pages = {1--28},
	author = {Giuseppe Castagna and Victor Lanvin},
	title = {Gradual typing with union and intersection types},
	journal = {Proceedings of the {ACM} on Programming Languages}
}

@inproceedings{morrisrow,
  title={Abstracting Extensible Data Types},
  author={Morris, J. Garrett and McKinna, James},
  booktitle={Principles of Programming Languages (POPL)},
  year={2019}
}

@inproceedings{cook1990object,
  title={Object-oriented programming versus abstract data types},
  author={Cook, William R.},
  booktitle={Workshop/School/Symposium of the REX Project (Research and Education in Concurrent Systems)},
  year={1990}
}

@inproceedings{krishnamurthi1998synthesizing,
  title={Synthesizing object-oriented and functional design to promote re-use},
  author={Krishnamurthi, Shriram and Felleisen, Matthias and Friedman, Daniel P},
  booktitle={European Conference on Object-Oriented Programming},
  year={1998},
}

@inproceedings{bruce1998statically,
  title={A statically safe alternative to virtual types},
  author={Bruce, Kim B and Odersky, Martin and Wadler, Philip},
  booktitle={European Conference on Object-Oriented Programming},
  year={1998},
}

@phdthesis{cookthesis,
  title={A Denotational Semantics of Inheritance},
  author={Cook, William R.},
  year={1989},
  school={Brown University}
}

@article{oliveira2006extensible,
  title={Extensible and modular generics for the masses},
  author={Oliveira, Bruno C. d. S. and Hinze, Ralf and L{\"o}h, Andres},
  journal={Trends in Functional Programming},
  volume={7},
  pages={199--216},
  year={2006}
}

repository: brunocdsoliveira/PhD-thesis

repo_name: brunocdsoliveira/PhD-thesis


text:
% This file was created with JabRef 2.10.
% Encoding: UTF8

@Article{brooks1995,
  Title                    = {Optimization Using Simulated Annealing},
  Author                   = {S. P. Brooks and B. J. T. Morgan},
  Journal                  = {Journal of the Royal Statistical Society. Series D (The Statistician)},
  Year                     = {1995},
  Number                   = {2},
  Pages                    = {241--257},
  Volume                   = {44},

  Abstract                 = {Much work has been published on the theoretical aspects of simulated annealing. This paper provides a brief overview of this theory and provides an introduction to the practical aspects of function optimization using this approach. Different implementations of the general simulated annealing algorithm are discussed, and two examples are used to illustrate the behaviour of the algorithm in low dimensions. A third example illustrates a hybrid approach, combining simulated annealing with traditional techniques.},
  ISSN                     = {00390526, 14679884},
  Publisher                = {[Royal Statistical Society, Wiley]},
  Url                      = {http://www.jstor.org/stable/2348448}
}

@Article{deutsch1994,
  Title                    = {Practical considerations in the application of simulated annealing to stochastic simulation},
  Author                   = {Deutsch, Clayton V.
and Cockerham, Perry W.},
  Journal                  = {Mathematical Geology},
  Year                     = {1994},

  Month                    = {Jan},
  Number                   = {1},
  Pages                    = {67--82},
  Volume                   = {26},

  Abstract                 = {Realizations generated by conditional simulation techniques must honor as much data as possible to be reliable numerical models of the attribute under study. The application of optimization methods such as simulated annealing to stochastic simulation has the potential to honor more data than conventional geostatistical simulation techniques. The essential feature of this approach is the formulation of stochastic imaging as an optimization problem with some specified objective function. The data to be honored by the stochastic images are coded as components in a global objective function. This paper describes the basic algorithm and then addresses a number of practical questions: (1) what are the criteria for adding a component to the global objective function? (2) what perturbation mechanism should be employed in the annealing simulation? (3) when should the temperature be lowered in the annealing procedure? (4) how are edge/border nodes handled? (5) how are local conditioning data handled? and (6) how are multiple components weighted in the global objective function?},
  Day                      = {01},
  ISSN                     = {1573-8868},
  Owner                    = {Schmulius},
  Timestamp                = {2018.07.18}
}

@Article{eglese,
  Title                    = {Simulated annealing: A tool for operational research},
  Author                   = {R.W. Eglese},
  Journal                  = {European Journal of Operational Research},
  Year                     = {1990},
  Number                   = {3},
  Pages                    = {271 - 281},
  Volume                   = {46},

  ISSN                     = {0377-2217},
  Keywords                 = {Simulated annealing, heuristics, optimisation},
  Owner                    = {Schmulius},
  Timestamp                = {2018.07.18},
  Url                      = {http://www.sciencedirect.com/science/article/pii/037722179090001R}
}

license: MIT

license_type: permissive

branch_name: refs/heads/master

extension: bib


text:
package main

import (
    "log"
    "time"
    "fmt"
)

func timeTrack(start time.Time, name string) {
        elapsed := time.Since(start)
        log.Printf("function %s took %s", name, elapsed)
}

func main() {
        defer timeTrack(time.Now(), "main")
        for i := 0; i < 100; i++ {
                fmt.Printf("I can count: %d\n", i)
        }
}

repository: tonyalaribe/Rust-Full-Stack

repo_name: tonyalaribe/Rust-Full-Stack

gha_license_id: MIT

extension: go


text:
file(REMOVE_RECURSE
  "CMakeFiles/demoOpenCV2.dir/main.cpp.o"
  "demoOpenCV2.pdb"
  "demoOpenCV2"
)

# Per-language clean rules from dependency scanning.
foreach(lang CXX)
  include(CMakeFiles/demoOpenCV2.dir/cmake_clean_${lang}.cmake OPTIONAL)
endforeach()

repository: eduardorasgado/CVCPPowers

repo_name: eduardorasgado/CVCPPowers

extension: cmake


text:
package defaults

import (
	"os"
	"os/exec"
	"strings"
	"sync"
)

var fqdn = struct {
	once sync.Once
	name string
}{}

// Name returns the default service name.
// It's built from the process name and the (reverse) fully qualified domain name.
func Name() string {
	fqdn.once.Do(func() {
		// start with the process name from the command line
		name := os.Args[0]
		if i := strings.LastIndex(name, "/"); i >= 0 {
			name = name[i+1:]
		}

		// include the fqdn if possible
		if hostname, err := exec.Command("hostname", "--fqdn").Output(); err == nil {
			h := string(hostname[:len(hostname)-1])
			p := strings.Split(h, ".")

			// use reverse notation
			for i, j := 0, len(p)-1; i < j; i, j = i+1, j-1 {
				p[i], p[j] = p[j], p[i]
			}

			name = strings.Join(p, ".") + "." + name
		}

		fqdn.name = name
	})

	return fqdn.name
}

repository: jamloop/rtbkit

repo_name: jamloop/rtbkit


text:
SUMMARY = "EMGD 1.16 xserver binaries"
DESCRIPTION = "EMGD 1.16 includes some userspace binaries that use non-free \
licensing, which are now available via a non-click-through downloadable \
tarball, and is what this recipe now uses.  Since it is a non-free license, \
this recipe is marked as 'License_emgd-driver-bin_1.16' and you need to add \
to LICENSE_FLAGS_WHITELIST += \"license_emgd-driver-bin_1.16\" to your \
local.conf in order to enable it in a build."
LICENSE = "Intel-software-license-emgd-1.16 & Intel-user-space-graphics-driver-binary-license-emgd-1.16"
LICENSE_FLAGS = "license_${PN}_${PV}"
PR = "r0"

EMGD_LIC_DIR = "IEMGD_HEAD_Linux/License"
EMGD_RPM_DIR = "IEMGD_HEAD_Linux/MeeGo1.2"
EMGD_VIDEO_PLUGIN_DIR = "../common/video_plugin"

LIC_FILES_CHKSUM = "file://${WORKDIR}/${EMGD_LIC_DIR}/License.txt;md5=b54f01caaf8483b3cb60c0c40f2bf22d \
                    file://${WORKDIR}/${EMGD_LIC_DIR}/readme.txt;md5=73cbec7a0d2bc22faf567238e055bfc8"

DEPENDS = "rpm-native xz-native"
RDEPENDS_${PN} = "libxcb-dri2 cairo"

# Add the ABI dependency at package generation time, as otherwise bitbake will
# attempt to find a provider for it (and fail) when it does the parse.
#
# This version *must* be kept correct.
python populate_packages_prepend() {
    pn = d.getVar("PN", True)
    d.appendVar("RDEPENDS_" + pn, " xorg-abi-video-8")
}

SRC_URI = "https://edc.intel.com/App_Shared/Downloads/LIN_IEMGD_1_16_GOLD_3228.tgz \
           file://egl.pc \
           file://gles_cm.pc \
           file://glesv2.pc \
          "

SRC_URI[md5sum] = "339c902baeac0a5816108bea827b3685"
SRC_URI[sha256sum] = "33ef38b83914ef7d1e12a430ec009352b415b9d5840c9d0db25744b7dc6a2473"

# make sure generated rpm packages get non conflicting names
PKG_${PN} = "emgd-driver"
PKG_${PN}-dev = "emgd-driver-dev"
PKG_${PN}-dbg = "emgd-driver-dbg"
PKG_${PN}-doc = "emgd-driver-doc"

PACKAGES =+ "emgd-libmixcommon emgd-libmixvideo emgd-libmixvbp \
             emgd-gst-vabuffer emgd-gst-plugins-mixvideo \
             emgd-gst-plugins-va emgd-driver-video"

# These are closed binaries generated elsewhere so don't check ldflags & text relocations
INSANE_SKIP_emgd-driver-video = "ldflags textrel"
# Inhibit warnings about files being stripped, we can't do anything about it.
INHIBIT_PACKAGE_DEBUG_SPLIT = "1"

# Avoid auto renaming of these packages
DEBIAN_NOAUTONAME_emgd-libmixcommon = "1"
DEBIAN_NOAUTONAME_emgd-libmixvideo = "1"
DEBIAN_NOAUTONAME_emgd-libmixvbp = "1"
DEBIAN_NOAUTONAME_emgd-gst-vabuffer = "1"

FILES_emgd-libmixcommon = "${libdir}/libmixcommon.so.0.10.8 ${libdir}/libmixcommon.so.0"
FILES_emgd-libmixvideo = "${libdir}/libmixvideo.so.0.10.10 ${libdir}/libmixvideo.so.0"
FILES_emgd-libmixvbp = "${libdir}/libmixvbp.so.0.10.9 ${libdir}/libmixvbp.so.0 \
                            ${libdir}/libmixvbp_h264.so.0.10.9 ${libdir}/libmixvbp_h264.so.0 \
                            ${libdir}/libmixvbp_mpeg4.so.0.10.9 ${libdir}/libmixvbp_mpeg4.so.0 \
                            ${libdir}/libmixvbp_vc1.so.0.10.9 ${libdir}/libmixvbp_vc1.so.0 "
FILES_emgd-gst-vabuffer = "${libdir}/libgstvabuffer.so.0.10.8 ${libdir}/libgstvabuffer.so.0"
FILES_emgd-gst-plugins-mixvideo = "${libdir}/gstreamer-0.10/libgstmixvideoplugin.so"
FILES_emgd-gst-plugins-va = "${libdir}/gstreamer-0.10/libgstvaplugin.so"
FILES_emgd-driver-video = "${libdir}/dri/emgd_drv_video.so"
FILES_${PN} += "${libdir}/dri ${libdir}/xorg/modules/drivers"
FILES_${PN}-dbg += "${libdir}/xorg/modules/drivers/.debug ${libdir}/dri/.debug ${libdir}/gstreamer-0.10/.debug"

S = "${WORKDIR}/${EMGD_RPM_DIR}"

RPM2CPIO = "${COREBASE}/scripts/rpm2cpio.sh"

do_install () {
    # cleanup previous files if any
    rm -rf usr

    # A gstreamer VA buffer library
    ${RPM2CPIO} ${S}/${EMGD_VIDEO_PLUGIN_DIR}/gst-vabuffer*.rpm | cpio -id

    # MIX Common contains common classes, datatype, header files used by other MIX components
    ${RPM2CPIO} ${S}/${EMGD_VIDEO_PLUGIN_DIR}/mixcommon*.rpm | cpio -id

    # MIX Video Bitstream Parser is an user library interface for various video format bitstream parsing
    ${RPM2CPIO} ${S}/${EMGD_VIDEO_PLUGIN_DIR}/mixvbp*.rpm | cpio -id

    # MIX Video is an user library interface for various video codecs available on the platform.
    ${RPM2CPIO} ${S}/${EMGD_VIDEO_PLUGIN_DIR}/mixvideo*.rpm | cpio -id

    install -d -m 0755                                    ${D}${libdir}/gstreamer-0.10
    install -m 0755 ${S}/usr/lib/*                        ${D}${libdir}/

    # A gstreamer plugin that uses MIX Video for hardware accelerated video decoding and rendering.
    ${RPM2CPIO} ${S}/${EMGD_VIDEO_PLUGIN_DIR}/gst-plugins-mixvideo*.rpm | cpio -id

    # A collection of gstreamer plugins that uses VA libraries for hardware accelerated video rendering and text overlay.
    ${RPM2CPIO} ${S}/${EMGD_VIDEO_PLUGIN_DIR}/gst-plugins-va*.rpm | cpio -id

    install -m 0755 ${S}/usr/lib/gstreamer-0.10/*         ${D}${libdir}/gstreamer-0.10/

    # EMGD runtime graphics libraries
    ${RPM2CPIO} ${S}/emgd-bin*.rpm | cpio -id

    install -d -m 0755                                    ${D}${libdir}/dri
    install -d -m 0755                                    ${D}${libdir}/xorg/modules/drivers
    install -d -m 0755                                    ${D}${sysconfdir}
    install -d -m 0755                                    ${D}${mandir}/man4
    install -m 0755 ${S}/usr/lib/*.so.*                   ${D}${libdir}/
    install -m 0755 ${S}/usr/lib/dri/*                    ${D}${libdir}/dri/
    install -m 0755 ${S}/usr/lib/xorg/modules/drivers/*   ${D}${libdir}/xorg/modules/drivers/
    install -m 0755 ${S}/etc/*                            ${D}${sysconfdir}/
    install -m 0755 ${S}/usr/share/man/man4/*             ${D}${mandir}/man4/

    # Khronos development headers needed for EGL, OpenGL-ES, and OpenVG development
    ${RPM2CPIO} ${S}/emgd-devel*.rpm | cpio -id

    install -d -m 0755                                    ${D}${includedir}/EGL
    install -m 0755 ${S}/usr/include/EGL/*.h              ${D}${includedir}/EGL/
    install -d -m 0755                                    ${D}${includedir}/GLES
    install -m 0755 ${S}/usr/include/GLES/*.h             ${D}${includedir}/GLES/
    install -d -m 0755                                    ${D}${includedir}/GLES2
    install -m 0755 ${S}/usr/include/GLES2/*.h            ${D}${includedir}/GLES2/
    install -d -m 0755                                    ${D}${includedir}/KHR
    install -m 0755 ${S}/usr/include/KHR/*.h              ${D}${includedir}/KHR/
    install -d -m 0755                                    ${D}${includedir}/VG
    install -m 0755 ${S}/usr/include/VG/*.h               ${D}${includedir}/VG/

    EMGD_SNAPSHOT="1.5.15.3226"
    ln -sf libEGL.so.${EMGD_SNAPSHOT}                     ${D}${libdir}/libEGL.so.1
    ln -sf libEGL.so.1                                    ${D}${libdir}/libEGL.so
    ln -sf libGLES_CM.so.${EMGD_SNAPSHOT}                 ${D}${libdir}/libGLES_CM.so.1
    ln -sf libGLES_CM.so.1                                ${D}${libdir}/libGLES_CM.so
    ln -sf libGLESv2.so.${EMGD_SNAPSHOT}                  ${D}${libdir}/libGLESv2.so.2
    ln -sf libGLESv2.so.2                                 ${D}${libdir}/libGLESv2.so
    ln -sf libOpenVG.so.${EMGD_SNAPSHOT}                  ${D}${libdir}/libOpenVG.so.1
    ln -sf libOpenVG.so.1                                 ${D}${libdir}/libOpenVG.so
    ln -sf libOpenVGU.so.${EMGD_SNAPSHOT}                 ${D}${libdir}/libOpenVGU.so.1
    ln -sf libOpenVGU.so.1                                ${D}${libdir}/libOpenVGU.so
    ln -sf libEMGD2d.so.${EMGD_SNAPSHOT}                  ${D}${libdir}/libEMGD2d.so
    ln -sf libEMGDegl.so.${EMGD_SNAPSHOT}                 ${D}${libdir}/libEMGDegl.so
    ln -sf libemgdglslcompiler.so.${EMGD_SNAPSHOT}        ${D}${libdir}/libemgdglslcompiler.so
    ln -sf libEMGDOGL.so.${EMGD_SNAPSHOT}                 ${D}${libdir}/libEMGDOGL.so
    ln -sf libemgdPVR2D_DRIWSEGL.so.${EMGD_SNAPSHOT}      ${D}${libdir}/libemgdPVR2D_DRIWSEGL.so
    ln -sf libEMGDScopeServices.so.${EMGD_SNAPSHOT}       ${D}${libdir}/libEMGDScopeServices.so
    ln -sf libemgdsrv_init.so.${EMGD_SNAPSHOT}            ${D}${libdir}/libemgdsrv_init.so
    ln -sf libemgdsrv_um.so.${EMGD_SNAPSHOT}              ${D}${libdir}/libemgdsrv_um.so

    #Replace duplicate files with symlinks
    rm -f ${D}${libdir}/libmixvideo.so.0
    ln -sf libmixvideo.so.0.10.10                          ${D}${libdir}/libmixvideo.so.0
    rm -f ${D}${libdir}/libmixvbp_h264.so.0
    ln -sf libmixvbp_h264.so.0.10.9                       ${D}${libdir}/libmixvbp_h264.so.0
    rm -f ${D}${libdir}/libmixvbp.so.0
    ln -sf libmixvbp.so.0.10.9                            ${D}${libdir}/libmixvbp.so.0
    rm -f ${D}${libdir}/libmixvbp_vc1.so.0
    ln -sf libmixvbp_vc1.so.0.10.9                        ${D}${libdir}/libmixvbp_vc1.so.0
    rm -f ${D}${libdir}/libmixvbp_mpeg4.so.0
    ln -sf libmixvbp_mpeg4.so.0.10.9                      ${D}${libdir}/libmixvbp_mpeg4.so.0
    rm -f ${D}${libdir}/libmixcommon.so.0
    ln -sf libmixcommon.so.0.10.8                         ${D}${libdir}/libmixcommon.so.0
    rm -f ${D}${libdir}/libgstvabuffer.so.0
    ln -sf libgstvabuffer.so.0.10.8                       ${D}${libdir}/libgstvabuffer.so.0

    # Copy the .pc files
    install -d -m 0755                                    ${D}${libdir}/pkgconfig
    install -m 0644  ${WORKDIR}/*.pc                      ${D}${libdir}/pkgconfig/
}

LEAD_SONAME = "libEGL.so"

repository: linkessence/Galileo

repo_name: linkessence/Galileo

extension: bb


text:
package tbrefund

// Reason 结构体
type Reason struct {
	// 退款原因文案
	ReasonText string `json:"reason_text,omitempty" xml:"reason_text,omitempty"`
	// 已经影响商品完好
	ReasonTips string `json:"reason_tips,omitempty" xml:"reason_tips,omitempty"`
	// 退款原因ID
	ReasonId int64 `json:"reason_id,omitempty" xml:"reason_id,omitempty"`
}

repository: bububa/opentaobao

repo_name: bububa/opentaobao

branch_name: refs/heads/main

gha_language: Go


text:
DESCRIPTION = "Task to install additional utilities/demos for SDKs"
LICENSE = "MIT"
LIC_FILES_CHKSUM = "file://${COREBASE}/meta/COPYING.MIT;md5=3da9cfbcb788c80a0384361b4de20420"
PR = "r2"

inherit task
PACKAGE_ARCH = "${MACHINE_ARCH}"

UTILS = " \
    am-sysinfo \
    dt \
    gdbserver \
    oprofile \
    nbench-byte \
    trace-cmd \
    arm-benchmarks \
    dropbear \
    openssh-sftp-server \
"

# Add PRU examples for am180x-evm devices
UTILS_append_am180x-evm = " ti-pru-sw-examples"

RDEPENDS_${PN} = "\
    ${UTILS} \
"

repository: ejhayes/meta-arago

repo_name: ejhayes/meta-arago


text:
package flow

import (
	"sync"
	"time"

	"github.com/reugn/go-streams"
)

// TumblingWindow assigns each element to a window of a specified window size.
// Tumbling windows have a fixed size and do not overlap.
type TumblingWindow struct {
	sync.Mutex
	windowSize time.Duration
	in         chan interface{}
	out        chan interface{}
	done       chan struct{}
	buffer     []interface{}
}

// Verify TumblingWindow satisfies the Flow interface.
var _ streams.Flow = (*TumblingWindow)(nil)

// NewTumblingWindow returns a new TumblingWindow instance.
//
// size is the Duration of generated windows.
func NewTumblingWindow(size time.Duration) *TumblingWindow {
	window := &TumblingWindow{
		windowSize: size,
		in:         make(chan interface{}),
		out:        make(chan interface{}),
		done:       make(chan struct{}),
	}
	go window.receive()
	go window.emit()

	return window
}

// Via streams data through the given flow
func (tw *TumblingWindow) Via(flow streams.Flow) streams.Flow {
	go tw.transmit(flow)
	return flow
}

// To streams data to the given sink
func (tw *TumblingWindow) To(sink streams.Sink) {
	tw.transmit(sink)
}

// Out returns an output channel for sending data
func (tw *TumblingWindow) Out() <-chan interface{} {
	return tw.out
}

// In returns an input channel for receiving data
func (tw *TumblingWindow) In() chan<- interface{} {
	return tw.in
}

// submit emitted windows to the next Inlet
func (tw *TumblingWindow) transmit(inlet streams.Inlet) {
	for elem := range tw.Out() {
		inlet.In() <- elem
	}
	close(inlet.In())
}

func (tw *TumblingWindow) receive() {
	for elem := range tw.in {
		tw.Lock()
		tw.buffer = append(tw.buffer, elem)
		tw.Unlock()
	}
	close(tw.done)
	close(tw.out)
}

// emit generates and emits a new window.
func (tw *TumblingWindow) emit() {
	ticker := time.NewTicker(tw.windowSize)
	defer ticker.Stop()

	for {
		select {
		case <-ticker.C:
			tw.Lock()
			windowSlice := tw.buffer
			tw.buffer = nil
			tw.Unlock()

			// send the window slice to the out chan
			if len(windowSlice) > 0 {
				tw.out <- windowSlice
			}

		case <-tw.done:
			return
		}
	}
}

repository: reugn/go-streams

repo_name: reugn/go-streams


text:
@article{9b86c8b28ffb4a8689e175a995f1b3d1,
title = "Phylogenomic analyses and distribution of terpene synthases among Streptomyces",
abstract = "Terpene synthases are widely distributed among microorganisms and have been mainly studied in members of the genus Streptomyces. However, little is known about the distribution and evolution of the genes for terpene synthases. Here, we performed whole-genome based phylogenetic analysis of Streptomyces species, and compared the distribution of terpene synthase genes among them. Overall, our study revealed that ten major types of terpene synthases are present within the genus Streptomyces, namely those for geosmin, 2-methylisoborneol, epi-isozizaene, 7-epi-α-eudesmol, epi-cubenol, caryolan-1-ol, cyclooctat-9-en-7-ol, isoafricanol, pentalenene and α-amorphene. The Streptomyces species divide in three phylogenetic groups based on their whole genomes for which the distribution of the ten terpene synthases was analysed. Geosmin synthases were the most widely distributed and were found to be evolutionary positively selected. Other terpene synthases were found to be specific for one of the three clades or a subclade within the genus Streptomyces. A phylogenetic analysis of the most widely distributed classes of Streptomyces terpene synthases in comparison to the phylogenomic analysis of this genus is discussed.",
keywords = "international",
author = "L. Mart{\'i}n-S{\'a}nchez and {Saurabh Singh}, K and {Avalos Garcia}, M. and {van Wezel}, G.P. and J.S. Dickschat and P.V. Garbeva",
note = "6728, ME",
year = "2019",
doi = "10.3762/bjoc.15.115",
language = "English",
volume = "15",
pages = "1181–1193",
journal = "Beilstein Journal of Organic Chemistry",
issn = "1860-5397",
publisher = "Beilstein-Institut Zur Forderung der Chemischen Wissenschaften",
}


text:
package dsql

import (
	"context"
	"database/sql/driver"
	"net/http"
)

type connector struct {
	Cfg *Config
}

// Connect implements db.Connector and sets up an http client to druid's sql endpoint
func (c *connector) Connect(ctx context.Context) (driver.Conn, error) {
	client := &http.Client{}
	connection := &connection{
		Client:    client,
		Cfg:       c.Cfg,
		closeCh:   make(chan struct{}, 1),
		watcherCh: make(chan context.Context, 1),
		errorCh:   make(chan error),
		resultsCh: make(chan []byte),
		requestCh: make(chan *http.Request),
	}
	connection.startRequestPipeline()
	return connection, nil
}

// Driver implements db.Connector and returns a druid driver
func (c *connector) Driver() (d driver.Driver) {
	return &Driver{}
}

repository: peak-ai/go-druid

repo_name: peak-ai/go-druid


text:
package models

import (
	"time"
)

//store simpleMovieInfo
type SimpleMovieInfo struct {
	MovieId   uint64    `sql:"type:bigint(2)" gorm:"primary_key;column:movieId"`
	MovieName string    `sql:"type:varchar(35);not null" gorm:"column:movieName"`
	UpdatedAt time.Time `sql:"type:datetime(0);not null" gorm:"column:updatedAt"`
}

func (smi SimpleMovieInfo) TableName() string {
	return "simpleMovieInfo"
}

repository: PaladinTyrion/DoubanCrawler

repo_name: PaladinTyrion/DoubanCrawler


text:
\begin{thebibliography}{10}

\bibitem{IEE_VANET_Survey}
Y.~W. Fan~Li, ``{Routing in Vehicular Ad Hoc Networks: A Survey},'' {\em IEEE
  Vehicular Technology Magazine}, pp.~12--22, 2007.

\bibitem{harsch_Sec}
P.~P. Charles~Harsch, Andreas~Festag, ``{Secure Position-Based Routing for
  VANETs},'' in {\em Proceedings of IEEE 66th Vehicular Technology Conference
  (VTC Fall)}, (Baltimore, MD, USA), September/October 2008.

\bibitem{Karlof_SecSensor}
D.~W. Chris~Karlof, ``{Secure routing in wireless sensor networks: attacks and
  countermeasures},'' {\em Ad Hoc Networks}, pp.~293--315, September 2003.

\bibitem{Gerlach_SecArch}
M.~Gerlach, A.~Festag, T.~Leinm\"uller, G.~Goldacker, and C.~Harsch,
  ``{Security Architecture for Vehicular Communication},'' in {\em Fourth
  International Workshop on Intelligent Transportation (WIT 2007)}, 2007.

\bibitem{Elektra_mesh}
C.~Aichele, {\em {Mesh: drahtlose Ad-hoc-Netze}}.
\newblock Open Source Press, 2007.

\bibitem{Naumov_CAR}
T.~R.~G. Valery~Naumov, ``{Connectivity-Aware Routing (CAR) in Vehicular Ad Hoc
  Networks},'' in {\em IEEE INFOCOM 2007 proceedings}, 2007.

\bibitem{Lochert_GRC}
C.~Lochert, M.~Mauve, H.~FŸssler, and H.~Hartenstein, ``Geographic routing in
  city scenarios,'' {\em SIGMOBILE Mob. Comput. Commun. Rev.}, vol.~9,
  pp.~69--72, January 2005.

\bibitem{Naumov_evalRealTraces}
G.~Naumov, Baumann, ``{An Evaluation of Inter-Vehicle Ad Hoc Networks Based on
  Realistic Vehicular Traces},'' in {\em MobiHoc '06: Proceedings of the 7th
  ACM international symposium on Mobile ad hoc networking and computing
  (2006)}, (Florence, Italy), May 22Ð25.

\bibitem{Sommer_adaptBeaconing}
R.~G. Christoph~Sommer and F.~Dressler, ``{Adaptive Beaconing for
  Delay-Sensitive and Congestion-Aware Traffic Information Systems},'' tech.
  rep., Friedrich-Alexander-UniversitŠt Erlangen-NŸrnberg, January 2010.

\bibitem{Guoquing_UrbanVANET}
X.~Z. Y. W. C.~X. Zhang~Guoquing, Mu~Dejun, ``{A survey on the Routing Schemes
  of Urban vehicular Ad Hoc Networks},'' in {\em Proceedings of the 27th
  Chinese Control Conference}, 2008.

\bibitem{Karp_GPSR}
B.~N. Karp and H.~T. Kung, ``{GPSR: Greedy Perimeter Stateless Routing for
  Wireless Net- works},'' in {\em In Proc. of ACM MobiCom Õ00}, (Boston,
  Massachusetts), p.~243Ð254, August 2000.

\bibitem{Seet04a-star}
B.~chong Seet, G.~Liu, B.~sung Lee, C.~heng Foh, and K.~kee Lee, ``{A-STAR: A
  mobile ad hoc routing strategy for metropolis vehicular communications},'' in
  {\em Proc. NETWORKING 2004}, pp.~989--999, 2004.

\bibitem{Ruiz_Brave}
J.~A.~M. Pedro M.~Ruiz, Victor~Cabrera and F.~J. Ros, ``{BRAVE: Beacon-less
  routing algorithm for vehicular environments},'' in {\em MASS}, pp.~709--714,
  2010.

\bibitem{Bettstetter_MM}
C.~Bettstetter, ``{Mobility Modeling in Wireless Networks: Categorization,
  Smooth Movement, and Border Effects },'' {\em Mobile Computing and
  Communications Review, Volume 5, Number 3}, pp.~55--67, July 2001.

\bibitem{Reuters_fb}
``Reuters: Facebook's newest frontier: inside the car.''
  \url{http://www.reuters.com/article/2012/01/09/us-facebook-mercedes-idUSTRE80828C20120109},
  Januar 2012.

\bibitem{Goodspeed_PIP}
R.~M. R. S. R.~S. Travis~Goodspeed, Sergey~Bratus, ``{Packets in Packets: Orson
  WellesÕ In-Band Signaling Attacks for Modern Radios}.'' as presented at the
  28c3 and WOOT '11.

\end{thebibliography}

repository: Lotterleben/Uni

repo_name: Lotterleben/Uni


text:
@inproceedings{piper2013audio,
 author = {Piper, Anne Marie and Weibel, Nadir and Hollan, James},
 booktitle = {Proceedings of the 2013 conference on Computer supported cooperative work},
 pages = {215--224},
 title = {Audio-enhanced paper photos: encouraging social interaction at age 105},
 year = {2013}
}

repository: robinzhx/hxi-website

repo_name: robinzhx/hxi-website


text:
SECTION = "console/utils"
DESCRIPTION = "Video4linux Two sample applications"
LICENSE = "PD"
DEPENDS = "libxaw virtual/libx11 libxt"

SRC_URI = "http://www.thedirks.org/pub/v4l2/apps/apps${PV}.tgz;subdir=${BPN}-${PV}"

#FIXME: currently busted, as it requires v4l2 -kernel headers.
#either fix the apps to use headers not in linux/, or make this package
#depend on an actual virtual/kernel that supports v4l2.
BROKEN = "1"

do_install () {
	install -d ${S}/${bindir}
	install -m 0755 vcat vctrl vidpanel xcaptest ${D}${bindir}/
}

SRC_URI[md5sum] = "16d8cbed24945949956b6f7966f4a609"
SRC_URI[sha256sum] = "9ec43259123b89980ad0b5a36b8d582cf877d918019f993f629a9fa5327a5c58"

repository: overo/overo-oe-natty

repo_name: overo/overo-oe-natty

branch_name: HEAD