Matches in SemOpenAlex for { <https://semopenalex.org/work/W3141365533> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W3141365533 endingPage "48" @default.
- W3141365533 startingPage "34" @default.
- W3141365533 abstract "Linear and substructural types are powerful tools, but adding them to standard functional programming languages often means introducing extra annotations and typing machinery. We propose a lightweight substructural type system design that recasts the structural rules of weakening and contraction as type classes; we demonstrate this design in a prototype language, Clamp. Clamp supports polymorphic substructural types as well as an expressive system of mutable references. At the same time, it adds little additional overhead to a standard Damas-Hindley-Milner type system enriched with type classes. We have established type safety for the core model and implemented a type checker with type inference in Haskell." @default.
- W3141365533 created "2021-04-13" @default.
- W3141365533 creator A5062337573 @default.
- W3141365533 creator A5064972235 @default.
- W3141365533 creator A5068366265 @default.
- W3141365533 date "2015-02-16" @default.
- W3141365533 modified "2023-10-03" @default.
- W3141365533 title "Type Classes for Lightweight Substructural Types" @default.
- W3141365533 cites W1491698270 @default.
- W3141365533 cites W1973858412 @default.
- W3141365533 cites W2012968289 @default.
- W3141365533 cites W2050907089 @default.
- W3141365533 cites W2059895047 @default.
- W3141365533 cites W2068940650 @default.
- W3141365533 cites W2121408440 @default.
- W3141365533 cites W2124126159 @default.
- W3141365533 cites W2143661661 @default.
- W3141365533 cites W2145029935 @default.
- W3141365533 cites W2163976959 @default.
- W3141365533 cites W2164039975 @default.
- W3141365533 cites W2249525314 @default.
- W3141365533 cites W2911865844 @default.
- W3141365533 cites W4242423436 @default.
- W3141365533 doi "https://doi.org/10.4204/eptcs.176.4" @default.
- W3141365533 hasPublicationYear "2015" @default.
- W3141365533 type Work @default.
- W3141365533 sameAs 3141365533 @default.
- W3141365533 citedByCount "2" @default.
- W3141365533 countsByYear W31413655332020 @default.
- W3141365533 countsByYear W31413655332023 @default.
- W3141365533 crossrefType "journal-article" @default.
- W3141365533 hasAuthorship W3141365533A5062337573 @default.
- W3141365533 hasAuthorship W3141365533A5064972235 @default.
- W3141365533 hasAuthorship W3141365533A5068366265 @default.
- W3141365533 hasBestOaLocation W31413655331 @default.
- W3141365533 hasConcept C109701466 @default.
- W3141365533 hasConcept C154945302 @default.
- W3141365533 hasConcept C18903297 @default.
- W3141365533 hasConcept C198370458 @default.
- W3141365533 hasConcept C199360897 @default.
- W3141365533 hasConcept C2776214188 @default.
- W3141365533 hasConcept C2777299769 @default.
- W3141365533 hasConcept C2780624054 @default.
- W3141365533 hasConcept C41008148 @default.
- W3141365533 hasConcept C42383842 @default.
- W3141365533 hasConcept C44779574 @default.
- W3141365533 hasConcept C548217200 @default.
- W3141365533 hasConcept C86803240 @default.
- W3141365533 hasConcept C93682546 @default.
- W3141365533 hasConceptScore W3141365533C109701466 @default.
- W3141365533 hasConceptScore W3141365533C154945302 @default.
- W3141365533 hasConceptScore W3141365533C18903297 @default.
- W3141365533 hasConceptScore W3141365533C198370458 @default.
- W3141365533 hasConceptScore W3141365533C199360897 @default.
- W3141365533 hasConceptScore W3141365533C2776214188 @default.
- W3141365533 hasConceptScore W3141365533C2777299769 @default.
- W3141365533 hasConceptScore W3141365533C2780624054 @default.
- W3141365533 hasConceptScore W3141365533C41008148 @default.
- W3141365533 hasConceptScore W3141365533C42383842 @default.
- W3141365533 hasConceptScore W3141365533C44779574 @default.
- W3141365533 hasConceptScore W3141365533C548217200 @default.
- W3141365533 hasConceptScore W3141365533C86803240 @default.
- W3141365533 hasConceptScore W3141365533C93682546 @default.
- W3141365533 hasLocation W31413655331 @default.
- W3141365533 hasOpenAccess W3141365533 @default.
- W3141365533 hasPrimaryLocation W31413655331 @default.
- W3141365533 hasRelatedWork W1575522358 @default.
- W3141365533 hasRelatedWork W1714514560 @default.
- W3141365533 hasRelatedWork W1975664374 @default.
- W3141365533 hasRelatedWork W2017112188 @default.
- W3141365533 hasRelatedWork W206809417 @default.
- W3141365533 hasRelatedWork W2144541538 @default.
- W3141365533 hasRelatedWork W2146069884 @default.
- W3141365533 hasRelatedWork W2169148161 @default.
- W3141365533 hasRelatedWork W3141365533 @default.
- W3141365533 hasRelatedWork W4239384405 @default.
- W3141365533 hasVolume "176" @default.
- W3141365533 isParatext "false" @default.
- W3141365533 isRetracted "false" @default.
- W3141365533 magId "3141365533" @default.
- W3141365533 workType "article" @default.