Product
Help
Pricing
About
Jobs
Log in
Get started
Work
Add to collection
Jolie Static Type Checker: a prototype
HTML
Details
Locations
Year:
2017
Type:
preprint
Source:
OSF Preprints (OSF Preprints)
Authors:
Manuel Mazzara,
Alexander Tchitchigin,
Bogdan Mingela,
Larisa Safina,
Daniel de Carvalho,
Nikolay Troshkov
show all 6
Language:
English
Topic:
Logic, programming, and type systems
Subfield:
Software
Field:
Computer Science
Domain:
Physical Sciences
Open Access status:
closed
OpenAlex ID:
W7160470144
Cites:
Cited by:
Related to:
10