BibTeX records: Marcin Benke

download as .bib file

@inproceedings{DBLP:conf/rta/BenkeSC16,
  author       = {Marcin Benke and
                  Aleksy Schubert and
                  Daria Walukiewicz{-}Chrzaszcz},
  editor       = {Delia Kesner and
                  Brigitte Pientka},
  title        = {Synthesis of Functional Programs with Help of First-Order Intuitionistic
                  Logic},
  booktitle    = {1st International Conference on Formal Structures for Computation
                  and Deduction, {FSCD} 2016, June 22-26, 2016, Porto, Portugal},
  series       = {LIPIcs},
  volume       = {52},
  pages        = {12:1--12:16},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2016},
  url          = {https://doi.org/10.4230/LIPIcs.FSCD.2016.12},
  doi          = {10.4230/LIPICS.FSCD.2016.12},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/BenkeSC16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csp/Benke15,
  author       = {Marcin Benke},
  editor       = {Zbigniew Suraj and
                  Ludwik Czaja},
  title        = {Specifying Functional Programs with Intuitionistic First Order Logic},
  booktitle    = {Proceedings of the 24th International Workshop on Concurrency, Specification
                  and Programming, Rzeszow, Poland, September 28-30, 2015},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1492},
  pages        = {57--63},
  publisher    = {CEUR-WS.org},
  year         = {2015},
  url          = {https://ceur-ws.org/Vol-1492/Paper\_06.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:14 +0100},
  biburl       = {https://dblp.org/rec/conf/csp/Benke15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/BenkeBS15,
  author       = {Marcin Benke and
                  Viviana Bono and
                  Aleksy Schubert},
  editor       = {Jakob Rehof},
  title        = {Lucretia - intersection type polymorphism for scripting languages},
  booktitle    = {Proceedings Seventh Workshop on Intersection Types and Related Systems,
                  {ITRS} 2014, Vienna, Austria, 18 July 2014},
  series       = {{EPTCS}},
  volume       = {177},
  pages        = {65--78},
  year         = {2014},
  url          = {https://doi.org/10.4204/EPTCS.177.6},
  doi          = {10.4204/EPTCS.177.6},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/BenkeBS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1206-5112,
  author       = {Viviana Bono and
                  Marcin Benke and
                  Aleksy Schubert},
  title        = {Lucretia - a type system for objects in languages with reflection},
  journal      = {CoRR},
  volume       = {abs/1206.5112},
  year         = {2012},
  url          = {http://arxiv.org/abs/1206.5112},
  eprinttype    = {arXiv},
  eprint       = {1206.5112},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1206-5112.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/haskell/AbelBBHN05,
  author       = {Andreas Abel and
                  Marcin Benke and
                  Ana Bove and
                  John Hughes and
                  Ulf Norell},
  editor       = {Daan Leijen},
  title        = {Verifying haskell programs using constructive type theory},
  booktitle    = {Proceedings of the {ACM} {SIGPLAN} Workshop on Haskell, Haskell 2005,
                  Tallinn, Estonia, September 30, 2005},
  pages        = {62--73},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1088348.1088355},
  doi          = {10.1145/1088348.1088355},
  timestamp    = {Wed, 02 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/haskell/AbelBBHN05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/types/LindbladB04,
  author       = {Fredrik Lindblad and
                  Marcin Benke},
  editor       = {Jean{-}Christophe Filli{\^{a}}tre and
                  Christine Paulin{-}Mohring and
                  Benjamin Werner},
  title        = {A Tool for Automated Theorem Proving in Agda},
  booktitle    = {Types for Proofs and Programs, International Workshop, {TYPES} 2004,
                  Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3839},
  pages        = {154--169},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/11617990\_10},
  doi          = {10.1007/11617990\_10},
  timestamp    = {Tue, 14 May 2019 10:00:42 +0200},
  biburl       = {https://dblp.org/rec/conf/types/LindbladB04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/njc/BenkeDJ03,
  author       = {Marcin Benke and
                  Peter Dybjer and
                  Patrik Jansson},
  title        = {Universes for Generic Programs and Proofs in Dependent Type Theory},
  journal      = {Nord. J. Comput.},
  volume       = {10},
  number       = {4},
  pages        = {265--289},
  year         = {2003},
  timestamp    = {Wed, 14 Jan 2004 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/njc/BenkeDJ03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Benke99,
  author       = {Marcin Benke},
  title        = {Some Complexity Bounds for Subtype Inequalities},
  journal      = {Theor. Comput. Sci.},
  volume       = {212},
  number       = {1-2},
  pages        = {3--27},
  year         = {1999},
  url          = {https://doi.org/10.1016/S0304-3975(98)00134-0},
  doi          = {10.1016/S0304-3975(98)00134-0},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Benke99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fossacs/Benke99,
  author       = {Marcin Benke},
  editor       = {Wolfgang Thomas},
  title        = {An Algebraic Characterization of Typability in {ML} with Subtyping},
  booktitle    = {Foundations of Software Science and Computation Structure, Second
                  International Conference, FoSSaCS'99, Held as Part of the European
                  Joint Conferences on the Theory and Practice of Software, ETAPS'99,
                  Amsterdam, The Netherlands, March 22-28, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1578},
  pages        = {104--119},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-49019-1\_8},
  doi          = {10.1007/3-540-49019-1\_8},
  timestamp    = {Tue, 14 May 2019 10:00:55 +0200},
  biburl       = {https://dblp.org/rec/conf/fossacs/Benke99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mfcs/Benke98,
  author       = {Marcin Benke},
  editor       = {Lubos Brim and
                  Jozef Gruska and
                  Jir{\'{\i}} Zlatuska},
  title        = {Predicative Polymorphic Subtyping},
  booktitle    = {Mathematical Foundations of Computer Science 1998, 23rd International
                  Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1450},
  pages        = {326--335},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0055782},
  doi          = {10.1007/BFB0055782},
  timestamp    = {Tue, 14 May 2019 10:00:37 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/Benke98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mfcs/Benke93,
  author       = {Marcin Benke},
  editor       = {Andrzej M. Borzyszkowski and
                  Stefan Sokolowski},
  title        = {Efficient Type Reconstruction in the Presence of Inheritance},
  booktitle    = {Mathematical Foundations of Computer Science 1993, 18th International
                  Symposium, MFCS'93, Gdansk, Poland, August 30 - September 3, 1993,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {711},
  pages        = {272--280},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/3-540-57182-5\_19},
  doi          = {10.1007/3-540-57182-5\_19},
  timestamp    = {Tue, 14 May 2019 10:00:37 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/Benke93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.