# Matteo Cimini

According to our database

Collaborative distances:

^{1}, Matteo Cimini authored at least 20 papers between 2009 and 2018.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2018

Ghostbuster: A tool for simplifying and converting GADTs.

J. Funct. Program., 2018

Languages as first-class citizens (vision paper).

Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering, 2018

2017

Automatically generating the dynamic semantics of gradually typed languages.

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

2016

PTRebeca: Modeling and analysis of distributed and asynchronous systems.

Sci. Comput. Program., 2016

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

Ghostbuster: a tool for simplifying and converting GADTs.

Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, 2016

Fractional Permissions for Race-Free Mutable References in a Dataflow Intermediate Language.

Proceedings of the First Workshop on Programming Models and Languages for Distributed Computing, 2016

2015

Refined Criteria for Gradual Typing.

Proceedings of the 1st Summit on Advances in Programming Languages, 2015

Principal Type Schemes for Gradual Programs.

Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

Monotonic References for Efficient Gradual Typing.

Proceedings of the Programming Languages and Systems, 2015

A Lightweight Formalization of the Metatheory of Bisimulation-Up-To.

Proceedings of the 2015 Conference on Certified Programs and Proofs, 2015

2014

Modelling and simulation of asynchronous real-time systems using Timed Rebeca.

Sci. Comput. Program., 2014

2012

Proving the validity of equations in GSOS languages using rule-matching bisimilarity.

Mathematical Structures in Computer Science, 2012

Nominal SOS.

Electr. Notes Theor. Comput. Sci., 2012

2011

SOS rule formats for zero and unit elements.

Theor. Comput. Sci., 2011

Modelling and Simulation of Asynchronous Real-Time Systems using Timed Rebeca

Proceedings of the Proceedings 10th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2011

Rule Formats for Distributivity.

Proceedings of the Language and Automata Theory and Applications, 2011

2010

On Rule Formats for Zero and Unit Elements.

Electr. Notes Theor. Comput. Sci., 2010

Functions as Processes: Termination and the lm[(m)\tilde]\lambda\mu\widetilde{\mu}-Calculus.

Proceedings of the Trustworthly Global Computing - 5th International Symposium, 2010

2009

A Bisimulation-based Method for Proving the Validity of Equations in GSOS Languages

Proceedings of the Proceedings Sixth Workshop on Structural Operational Semantics, 2009