View in EDS PDF Full Text

SIMPLIFYING EXPLICIT SUBTYPING COERCIONS IN A POLYMORPHIC CALCULUS WITH EFFECTS.

Saved in:
Bibliographic Details
Title: SIMPLIFYING EXPLICIT SUBTYPING COERCIONS IN A POLYMORPHIC CALCULUS WITH EFFECTS.
Authors: KOPRIVEC, FILIP1,2, filip.koprivec@fmf.uni-lj.si, PRETNAR, MATIJA1,2, matija.pretnar@fmf.uni-lj.si
Source: Logical Methods in Computer Science (LMCS); 2025, Vol. 21 Issue 4, p25:1-25:40, 40p
Database: Applied Science & Technology Source
Description
ISSN:18605974
DOI:10.46298/LMCS-21(4:25)2025