6 citations · 6 across the 2 of their papers we have counts for
2 papers
cs.LO2011
Type Inference for Bimorphic Recursion
Makoto Tatsuta, Ferruccio Damiani
This paper proposes bimorphic recursion, which is restricted polymorphic recursion such that every recursive call in the body of a function definition has the same type. Bimorphic…
cs.PL2010★ 6 cited
Hybrid Calculus of Wrapped Compartments
Mario Coppo, Ferruccio Damiani, Maurizio Drocco +4
The modelling and analysis of biological systems has deep roots in Mathematics, specifically in the field of ordinary differential equations (ODEs). Alternative approaches based on…