Characterization of typings in polymorphic type discipline - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Paola Giannini, Simona Ronchi Della Rocca. Characterization of typings in polymorphic type discipline. In Proceedings, Third Annual Symposium on Logic in Computer Science, 5-8 July 1988, Edinburgh, Scotland, UK. pages 61-70, IEEE Computer Society, 1988.

The following publications are possibly variants of this publication:

Type Inference in Polymorphic Type DisciplinePaola Giannini, Simona Ronchi Della Rocca. tacs 1991: 18-37

A Type Inference Algorithm for a Stratified Polymorphic Type DisciplinePaola Giannini, Simona Ronchi Della Rocca. iandc, 109(1/2):115-173, February/March 1994.

runs on WebDSL