Dmitriy Traytel
Associate Professor - Promotion Programme
Software, Data, People & Society
Sigurdsgade 41
2200 København N.
ORCID: 0000-0001-7982-2768
1 - 1 out of 1Page size: 10
- 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
ID: 245399103
Most downloads
-
17
downloads
Practical Relational Calculus Query Evaluation
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Published -
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
Explainable Online Monitoring of Metric Temporal Logic
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Published