Note: This list contains duplicate records, as identified by the OpenAIRE deduplication algorithm based on metadata analysis.

Jolie Static Type Checker: a Prototype Modeling and Analysis of Information Systems · 2017 · 10.18255/1818-1015-2017-6-704-717
Jolie Static Type Checker: a Prototype Modeling and Analysis of Information Systems · 2017 · 10.48550/arxiv.1702.07146