Matches in SemOpenAlex for { <https://semopenalex.org/work/W3174865222> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W3174865222 endingPage "60" @default.
- W3174865222 startingPage "49" @default.
- W3174865222 abstract "The specification of a class in Haskell often starts with stating, in comments, the laws that should be satisfied by methods defined in instances of the class, followed by the type of the methods of the class. This paper develops a framework that supports testing such class laws using QuickCheck. Our framework is a light-weight class law testing framework, which requires a limited amount of work per class law, and per datatype for which the class law is tested. We also show how to test class laws with partially-defined values. Using partially-defined values, we show that the standard lazy and strict implementations of the state monad do not satisfy the expected laws." @default.
- W3174865222 created "2021-07-05" @default.
- W3174865222 creator A5032737176 @default.
- W3174865222 creator A5042289468 @default.
- W3174865222 creator A5073008237 @default.
- W3174865222 date "2012-09-13" @default.
- W3174865222 modified "2023-09-26" @default.
- W3174865222 title "Testing type class laws" @default.
- W3174865222 cites W1532502754 @default.
- W3174865222 cites W1599275252 @default.
- W3174865222 cites W1994001680 @default.
- W3174865222 cites W2021982406 @default.
- W3174865222 cites W2029976661 @default.
- W3174865222 cites W2168938117 @default.
- W3174865222 cites W4235410435 @default.
- W3174865222 cites W4244488020 @default.
- W3174865222 doi "https://doi.org/10.1145/2430532.2364514" @default.
- W3174865222 hasPublicationYear "2012" @default.
- W3174865222 type Work @default.
- W3174865222 sameAs 3174865222 @default.
- W3174865222 citedByCount "1" @default.
- W3174865222 countsByYear W31748652222019 @default.
- W3174865222 crossrefType "journal-article" @default.
- W3174865222 hasAuthorship W3174865222A5032737176 @default.
- W3174865222 hasAuthorship W3174865222A5042289468 @default.
- W3174865222 hasAuthorship W3174865222A5073008237 @default.
- W3174865222 hasConcept C118615104 @default.
- W3174865222 hasConcept C154945302 @default.
- W3174865222 hasConcept C156772000 @default.
- W3174865222 hasConcept C17744445 @default.
- W3174865222 hasConcept C18903297 @default.
- W3174865222 hasConcept C199360897 @default.
- W3174865222 hasConcept C199539241 @default.
- W3174865222 hasConcept C2777212361 @default.
- W3174865222 hasConcept C2777299769 @default.
- W3174865222 hasConcept C2780624054 @default.
- W3174865222 hasConcept C33923547 @default.
- W3174865222 hasConcept C33959348 @default.
- W3174865222 hasConcept C41008148 @default.
- W3174865222 hasConcept C42383842 @default.
- W3174865222 hasConcept C86803240 @default.
- W3174865222 hasConceptScore W3174865222C118615104 @default.
- W3174865222 hasConceptScore W3174865222C154945302 @default.
- W3174865222 hasConceptScore W3174865222C156772000 @default.
- W3174865222 hasConceptScore W3174865222C17744445 @default.
- W3174865222 hasConceptScore W3174865222C18903297 @default.
- W3174865222 hasConceptScore W3174865222C199360897 @default.
- W3174865222 hasConceptScore W3174865222C199539241 @default.
- W3174865222 hasConceptScore W3174865222C2777212361 @default.
- W3174865222 hasConceptScore W3174865222C2777299769 @default.
- W3174865222 hasConceptScore W3174865222C2780624054 @default.
- W3174865222 hasConceptScore W3174865222C33923547 @default.
- W3174865222 hasConceptScore W3174865222C33959348 @default.
- W3174865222 hasConceptScore W3174865222C41008148 @default.
- W3174865222 hasConceptScore W3174865222C42383842 @default.
- W3174865222 hasConceptScore W3174865222C86803240 @default.
- W3174865222 hasIssue "12" @default.
- W3174865222 hasLocation W31748652221 @default.
- W3174865222 hasOpenAccess W3174865222 @default.
- W3174865222 hasPrimaryLocation W31748652221 @default.
- W3174865222 hasRelatedWork W1533419251 @default.
- W3174865222 hasRelatedWork W154014553 @default.
- W3174865222 hasRelatedWork W1587224678 @default.
- W3174865222 hasRelatedWork W1601811574 @default.
- W3174865222 hasRelatedWork W2099741881 @default.
- W3174865222 hasRelatedWork W2192862863 @default.
- W3174865222 hasRelatedWork W2514405772 @default.
- W3174865222 hasRelatedWork W2547899303 @default.
- W3174865222 hasRelatedWork W2913635267 @default.
- W3174865222 hasRelatedWork W4255783807 @default.
- W3174865222 hasVolume "47" @default.
- W3174865222 isParatext "false" @default.
- W3174865222 isRetracted "false" @default.
- W3174865222 magId "3174865222" @default.
- W3174865222 workType "article" @default.