Matches in SemOpenAlex for { <https://semopenalex.org/work/W4293812611> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W4293812611 endingPage "595" @default.
- W4293812611 startingPage "570" @default.
- W4293812611 abstract "FreezeML is a new approach to first-class polymorphic type inference that employs term annotations to control when and how polymorphic types are instantiated and generalised. It conservatively extends Hindley-Milner type inference and was first presented as an extension to Algorithm W. More modern type inference techniques such as HM(X) and OutsideIn(X) employ constraints to support features such as type classes, type families, rows, and other extensions. We take the first step towards modernising FreezeML by presenting a constraint-based type inference algorithm. We introduce a new constraint language, inspired by the Pottier/Rémy presentation of HM(X), in order to allow FreezeML type inference problems to be expressed as constraints. We present a deterministic stack machine for solving FreezeML constraints and prove its termination and correctness." @default.
- W4293812611 created "2022-08-31" @default.
- W4293812611 creator A5010611201 @default.
- W4293812611 creator A5045726166 @default.
- W4293812611 creator A5056138547 @default.
- W4293812611 creator A5061903791 @default.
- W4293812611 date "2022-08-29" @default.
- W4293812611 modified "2023-10-14" @default.
- W4293812611 title "Constraint-based type inference for FreezeML" @default.
- W4293812611 cites W2043188316 @default.
- W4293812611 cites W2052822938 @default.
- W4293812611 cites W2067195533 @default.
- W4293812611 cites W2068457689 @default.
- W4293812611 cites W2069858276 @default.
- W4293812611 cites W2093737074 @default.
- W4293812611 cites W2093914811 @default.
- W4293812611 cites W2104200012 @default.
- W4293812611 cites W2109131239 @default.
- W4293812611 cites W2109375905 @default.
- W4293812611 cites W2117552698 @default.
- W4293812611 cites W2131067178 @default.
- W4293812611 cites W2146749715 @default.
- W4293812611 cites W2150421116 @default.
- W4293812611 cites W2154717882 @default.
- W4293812611 cites W2163976959 @default.
- W4293812611 cites W2741285251 @default.
- W4293812611 cites W2899873839 @default.
- W4293812611 cites W3001202710 @default.
- W4293812611 cites W3163132554 @default.
- W4293812611 cites W4248324061 @default.
- W4293812611 cites W4250583525 @default.
- W4293812611 doi "https://doi.org/10.1145/3547642" @default.
- W4293812611 hasPublicationYear "2022" @default.
- W4293812611 type Work @default.
- W4293812611 citedByCount "0" @default.
- W4293812611 crossrefType "journal-article" @default.
- W4293812611 hasAuthorship W4293812611A5010611201 @default.
- W4293812611 hasAuthorship W4293812611A5045726166 @default.
- W4293812611 hasAuthorship W4293812611A5056138547 @default.
- W4293812611 hasAuthorship W4293812611A5061903791 @default.
- W4293812611 hasBestOaLocation W42938126111 @default.
- W4293812611 hasConcept C11413529 @default.
- W4293812611 hasConcept C154945302 @default.
- W4293812611 hasConcept C18903297 @default.
- W4293812611 hasConcept C198370458 @default.
- W4293812611 hasConcept C199360897 @default.
- W4293812611 hasConcept C2524010 @default.
- W4293812611 hasConcept C2776036281 @default.
- W4293812611 hasConcept C2776214188 @default.
- W4293812611 hasConcept C2777212361 @default.
- W4293812611 hasConcept C2777299769 @default.
- W4293812611 hasConcept C33923547 @default.
- W4293812611 hasConcept C41008148 @default.
- W4293812611 hasConcept C55439883 @default.
- W4293812611 hasConcept C80444323 @default.
- W4293812611 hasConcept C86803240 @default.
- W4293812611 hasConceptScore W4293812611C11413529 @default.
- W4293812611 hasConceptScore W4293812611C154945302 @default.
- W4293812611 hasConceptScore W4293812611C18903297 @default.
- W4293812611 hasConceptScore W4293812611C198370458 @default.
- W4293812611 hasConceptScore W4293812611C199360897 @default.
- W4293812611 hasConceptScore W4293812611C2524010 @default.
- W4293812611 hasConceptScore W4293812611C2776036281 @default.
- W4293812611 hasConceptScore W4293812611C2776214188 @default.
- W4293812611 hasConceptScore W4293812611C2777212361 @default.
- W4293812611 hasConceptScore W4293812611C2777299769 @default.
- W4293812611 hasConceptScore W4293812611C33923547 @default.
- W4293812611 hasConceptScore W4293812611C41008148 @default.
- W4293812611 hasConceptScore W4293812611C55439883 @default.
- W4293812611 hasConceptScore W4293812611C80444323 @default.
- W4293812611 hasConceptScore W4293812611C86803240 @default.
- W4293812611 hasIssue "ICFP" @default.
- W4293812611 hasLocation W42938126111 @default.
- W4293812611 hasLocation W42938126112 @default.
- W4293812611 hasLocation W42938126113 @default.
- W4293812611 hasLocation W42938126114 @default.
- W4293812611 hasLocation W42938126115 @default.
- W4293812611 hasOpenAccess W4293812611 @default.
- W4293812611 hasPrimaryLocation W42938126111 @default.
- W4293812611 hasRelatedWork W1480879962 @default.
- W4293812611 hasRelatedWork W1530350023 @default.
- W4293812611 hasRelatedWork W1539860096 @default.
- W4293812611 hasRelatedWork W1550049051 @default.
- W4293812611 hasRelatedWork W1762668282 @default.
- W4293812611 hasRelatedWork W1977621403 @default.
- W4293812611 hasRelatedWork W1986487716 @default.
- W4293812611 hasRelatedWork W2154390633 @default.
- W4293812611 hasRelatedWork W4242791220 @default.
- W4293812611 hasRelatedWork W4252419525 @default.
- W4293812611 hasVolume "6" @default.
- W4293812611 isParatext "false" @default.
- W4293812611 isRetracted "false" @default.
- W4293812611 workType "article" @default.