Refined criteria for gradual typing JG Siek, MM Vitousek, M Cimini, JT Boyland
1st Summit on Advances in Programming Languages (SNAPL 2015), 2015
217 2015 Modelling and simulation of asynchronous real-time systems using Timed Rebeca AH Reynisson, M Sirjani, L Aceto, M Cimini, A Jafari, A Ingólfsdóttir, ...
Science of Computer Programming 89, 41-68, 2014
94 2014 Monotonic references for efficient gradual typing JG Siek, MM Vitousek, M Cimini, S Tobin-Hochstadt, R Garcia
European Symposium on Programming Languages and Systems, 432-456, 2015
83 2015 Principal type schemes for gradual programs R Garcia, M Cimini
Proceedings of the 42Nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2015
80 2015 The gradualizer: a methodology and algorithm for generating gradual type systems M Cimini, JG Siek
ACM SIGPLAN Notices 51 (1), 443-455, 2016
78 2016 Automatically generating the dynamic semantics of gradually typed languages M Cimini, JG Siek
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming …, 2017
42 2017 PTRebeca: Modeling and analysis of distributed and asynchronous systems A Jafari, E Khamespanah, M Sirjani, H Hermanns, M Cimini
Science of Computer Programming 128, 22-50, 2016
36 2016 Nominal SOS M Cimini, MR Mousavi, MA Reniers, MJ Gabbay
Electronic Notes in Theoretical Computer Science 286, 103-116, 2012
17 2012 Functions as Processes: Termination and the -Calculus M Cimini, CS Coen, D Sangiorgi
International Symposium on Trustworthy Global Computing, 73-86, 2010
16 * 2010 A lightweight formalization of the metatheory of bisimulation-up-to K Chaudhuri, M Cimini, D Miller
Proceedings of the 2015 Conference on Certified Programs and Proofs, 157-166, 2015
15 2015 SOS rule formats for zero and unit elements L Aceto, M Cimini, A Ingólfsdóttir, MR Mousavi, MA Reniers
Theoretical Computer Science 412 (28), 3045-3071, 2011
12 2011 Extrinsically typed operational semantics for functional languages M Cimini, D Miller, JG Siek
Proceedings of the 13th ACM SIGPLAN International Conference on Software …, 2020
9 2020 Rule formats for distributivity L Aceto, M Cimini, A Ingólfsdóttir, MR Mousavi, MA Reniers
International Conference on Language and Automata Theory and Applications, 80-91, 2011
9 2011 A bisimulation-based method for proving the validity of equations in GSOS languages L Aceto, M Cimini, A Ingolfsdottir
arXiv preprint arXiv:1002.2864, 2010
9 2010 Ghostbuster: A tool for simplifying and converting GADTs TL McDonell, TAK Zakian, M Cimini, RR Newton
Proceedings of the 21st ACM SIGPLAN International Conference on Functional …, 2016
8 2016 Languages as first-class citizens (vision paper) M Cimini
Proceedings of the 11th ACM SIGPLAN International Conference on Software …, 2018
7 2018 Rule formats for distributivity L Aceto, M Cimini, A Ingolfsdottir, M Mousavi, MA Reniers
Theoretical Computer Science 458, 1-28, 2012
6 2012 Proving the validity of equations in GSOS languages using rule-matching bisimilarity L Aceto, M Cimini, A Ingolfsdottir
Mathematical Structures in Computer Science 22 (2), 291-331, 2012
6 2012 A calculus for language transformations B Mourad, M Cimini
International Conference on Current Trends in Theory and Practice of …, 2020
5 2020 On rule formats for zero and unit elements L Aceto, M Cimini, A Ingolfsdottir, MR Mousavi, MA Reniers
Electronic Notes in Theoretical Computer Science 265, 145-160, 2010
5 2010