Polymorphic success types for Erlang
From MaRDI portal
Publication:5222976
DOI10.29007/W2M2zbMATH Open1415.68056OpenAlexW2907331940MaRDI QIDQ5222976FDOQ5222976
Gorka Suárez-García, F. J. López-Fraguas, Manuel Montenegro
Publication date: 4 July 2019
Published in: EPiC Series in Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.29007/w2m2
Recommendations
- Polymorphic types in Erlang function specifications
- A practical subtyping system for Erlang
- Polymorphic typed defunctionalization
- A polymorphic type system for Prolog
- Polymorphic types in functional logic programming
- Intensional polymorphism in type-erasure semantics
- Intensional polymorphism in type-erasure semantics
- Intensional polymorphism in type-erasure semantics
Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)
Cited In (1)
Uses Software
This page was built for publication: Polymorphic success types for Erlang
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5222976)
