Matteo Cimini

Available identifiers

zbMath Open cimini.matteoMaRDI QIDQ2039938

List of research outcomes

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	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	2020-07-20	Paper
Automatically generating the dynamic semantics of gradually typed languages	2017-10-20	Paper
Ghostbuster: a tool for simplifying and converting GADTs	2017-05-10	Paper
The Gradualizer: a methodology and algorithm for generating gradual type systems	2016-10-24	Paper
Principal type schemes for gradual programs	2016-09-29	Paper
Nominal SOS	2016-07-08	Paper
Monotonic references for efficient gradual typing	2016-04-26	Paper
Proving the validity of equations in GSOS languages using rule-matching bisimilarity	2012-05-11	Paper

Research outcomes over time

This page was built for person: Matteo Cimini