Dmitriy Traytel
Associate Professor - Promotion Programme
Software, Data, People & Society
Sigurdsgade 41
2200 København N.
- 2011
- Published
Extending Hindley-Milner Type Inference with Coercive Structural Subtyping
Traytel, Dmitriy, Berghofer, S. & Nipkow, T., 2011, APLAS 2011. Yang, H. (ed.). Springer Berlin/Heidelberg, Vol. 7078. p. 89-104 16 p. (LNCS).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- 2012
Foundational, Compositional (Co)datatypes for Higher-Order Logic—Category Theory Applied to Theorem Proving
Traytel, Dmitriy, Popescu, A. & Blanchette, J. C., 2012, LICS 2012. IEEE Computer Society Press, p. 596-605 10 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- 2013
Verified Decision Procedures for MSO on Words Based on Derivatives of Regular Expressions
Traytel, Dmitriy & Nipkow, T., 2013, ICFP '13: Proceedings of the 18th ACM SIGPLAN international conference on Functional programming. Morrisett, G. & Uustalu, T. (eds.). ACM, p. 3-12 10 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- 2014
Cardinals in Isabelle/HOL
Blanchette, J. C., Popescu, A. & Traytel, Dmitriy, 2014, ITP 2014 - Interactive Theorem Proving: 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings. Klein, G. & Gamboa, R. (eds.). Springer, Cham, p. 111-127 17 p. (LNCS).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Experience Report: The Next 1100 Haskell Programmers
Blanchette, J. C., Hupel, L., Nipkow, T., Noschinski, L. & Traytel, Dmitriy, 2014, Haskell '14: Proceedings of the 2014 ACM SIGPLAN symposium on Haskell. Swiestra, W. (ed.). ACM, p. 25-30 6 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Truly Modular (Co)datatypes for Isabelle/HOL
Blanchette, J. C., Hölzl, J., Lochbihler, A., Panny, L., Popescu, A. & Traytel, Dmitriy, 2014, ITP 2014 - : 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings. Klein, G. & Gamboa, R. (eds.). Springer, Cham, Vol. 8558. p. 93-110 18 p. (LNCS).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Unified Classical Logic Completeness - A Coinductive Pearl
Blanchette, J. C., Popescu, A. & Traytel, Dmitriy, 2014, Automated Reasoning: 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings. Demri, S., Kapur, D. & Weidenbach, C. (eds.). Springer, Cham, p. 46-60 15 p. (Lecture Notes in Computer Science, Vol. 8562).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Unified Decision Procedures for Regular Expression Equivalence
Nipkow, T. & Traytel, Dmitriy, 2014, ITP 2014 - Interactive Theorem Proving: 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings. Klein, G. & Gamboa, R. (eds.). Springer, Cham, Vol. 8558. p. 450-466 17 p. (LNCS).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- 2015
A Coalgebraic Decision Procedure for WS1S
Traytel, Dmitriy, 2015, CSL 2015. Kreutzer, S. (ed.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Vol. 41. p. 487-503 17 p. (LIPIcs).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
A Formalized Hierarchy of Probabilistic System Types (Proof Pearl)
Hölzl, J., Lochbihler, A. & Traytel, Dmitriy, 2015, ITP 2015. Zhang, X. & Urban, C. (eds.). Springer, Cham, Vol. 9236. p. 203-220 18 p. (LNCS).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
ID: 245399103
Most downloads
-
16
downloads
Verified Progress Tracking for Timely Dataflow.
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Published -
15
downloads
Practical Relational Calculus Query Evaluation
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Published -
14
downloads
Explainable Online Monitoring of Metric Temporal Logic
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Published