Matteo Cimini
From MaRDI portal
Person:2039938
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Language transformations in the classroom | 2024-11-26 | Paper |
| Towards the complexity analysis of programming language proof methods | 2024-09-13 | Paper |
| Lang-n-Send Extended: Sending Regular Expressions to Monitors Electronic Proceedings in Theoretical Computer Science | 2024-03-01 | Paper |
| System description: lang-n-change -- a tool for transforming languages | 2021-07-06 | Paper |
| On the effectiveness of higher-order logic programming in language-oriented programming | 2021-07-06 | Paper |
| A bisimulation-based method for proving the validity of equations in GSOS languages | 2021-02-09 | Paper |
| A calculus for language transformations SOFSEM 2020: Theory and Practice of Computer Science | 2020-07-20 | Paper |
| Automatically generating the dynamic semantics of gradually typed languages Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages | 2017-10-20 | Paper |
| Ghostbuster: a tool for simplifying and converting GADTs Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming | 2017-05-10 | Paper |
| The Gradualizer: a methodology and algorithm for generating gradual type systems Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2016-10-24 | Paper |
| Principal type schemes for gradual programs Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2016-09-29 | Paper |
| Nominal SOS Electronic Notes in Theoretical Computer Science | 2016-07-08 | Paper |
| Monotonic references for efficient gradual typing Programming Languages and Systems | 2016-04-26 | Paper |
| Proving the validity of equations in GSOS languages using rule-matching bisimilarity MSCS. Mathematical Structures in Computer Science | 2012-05-11 | Paper |
Research outcomes over time
This page was built for person: Matteo Cimini
