Login / Signup
M. Clarence Protin
Publication Activity (10 Years)
Years Active: 2021-2022
Publications (10 Years): 3
Top Topics
Probabilistic Inference
Inference Process
Information Systems
Database Programming Language
Top Venues
CoRR
J. Log. Comput.
Log. Methods Comput. Sci.
</>
Publications
</>
M. Clarence Protin
,
Gilda Ferreira
Typability and Type Inference in Atomic Polymorphism.
Log. Methods Comput. Sci.
18 (3) (2022)
M. Clarence Protin
,
Gilda Ferreira
Typability and Type Inference in Atomic Polymorphism.
CoRR
(2021)
M. Clarence Protin
Type inhabitation of atomic polymorphism is undecidable.
J. Log. Comput.
31 (2) (2021)