Bounded Sort Polymorphism with Elimination Constraints

Λεπτομέρειες βιβλιογραφικής εγγραφής
Τίτλος:	Bounded Sort Polymorphism with Elimination Constraints
Συγγραφείς:	Rosain, Johann, Díaz, Tomás, Maillard, Kenji, Sozeau, Matthieu, Tabareau, Nicolas, Tanter, Éric, Winterhalter, Théo
Πηγή:	Proceedings of the ACM on Programming Languages. 10(POPL):2614-2642
Διαθεσιμότητα:	http://dl.acm.org/doi/10.1145/3776732
Βάση Δεδομένων:	ACM Full-Text Collection

Περιγραφή
ISSN:	24751421
DOI:	10.1145/3776732