Matteo Cimini

According to our database1, Matteo Cimini authored at least 21 papers between 2009 and 2018.

Collaborative distances:



In proceedings 
PhD thesis 




Ghostbuster: A tool for simplifying and converting GADTs.
J. Funct. Program., 2018

Automatically generating the dynamic semantics of gradually typed languages.
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

PTRebeca: Modeling and analysis of distributed and asynchronous systems.
Sci. Comput. Program., 2016

Well-Typed Languages are Sound.
CoRR, 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

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

Modelling and simulation of asynchronous real-time systems using Timed Rebeca.
Sci. Comput. Program., 2014

Rule formats for distributivity.
Theor. Comput. Sci., 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

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

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

A Bisimulation-based Method for Proving the Validity of Equations in GSOS Languages
Proceedings of the Proceedings Sixth Workshop on Structural Operational Semantics, 2009