( en | de | ru )

 

Disambiguation of "Rocca, Simona Ronchi Della"

Author of the publication

copydeleteadd this publication to your clipboard
Type Inference: Some Results, Some Problems.

, , and . Fundam. Informaticae, 19 (1/2): 87-125 (1993)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Ronchi

Elena Rocca

Sergio Dellavalle

Fabrizio Roccaforte

Elena Rocca

 

Other publications of authors with the same name

The lazy call-by-value Lamda-Calculus., , and . MFCS, volume 520 of Lecture Notes in Computer Science, page 161-169. Springer, (1991)Elementary Affine Logic and the Call-by-Value Lambda Calculus., , and . TLCA, volume 3461 of Lecture Notes in Computer Science, page 131-145. Springer, (2005)Principal Typing in Elementary Affine Logic., and . TLCA, volume 2701 of Lecture Notes in Computer Science, page 90-104. Springer, (2003)Strong normalization from an unusual point of view., , and . Theor. Comput. Sci., 412 (20): 1903-1915 (2011)Call-by-Value, Elementary Time and Intersection Types., and . FOPARA, volume 9964 of Lecture Notes in Computer Science, page 40-59. (2015)Structured Operational Semantics of a Fragment of the Language Scheme., , and . J. Funct. Program., 8 (4): 335-365 (1998)Parametric parameter passing Lambda-calculus., and . Inf. Comput., 189 (1): 87-106 (2004)Observability = Typability + Inhabitation., , and . CoRR, (2018)The Parametric Lambda Calculus - A Metamodel for Computation, and . Texts in Theoretical Computer Science. An EATCS Series Springer, (2004)Bounding normalization time through intersection types., and . ITRS, volume 121 of EPTCS, page 48-57. (2012)