Matches in SemOpenAlex for { <https://semopenalex.org/work/W2000722817> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2000722817 abstract "Based on our experience with modelling and verifying microarchitectural designs within Haskell, this paper examines our use of Haskell as host for an embedded language. In particular, we highlight our use of Haskell's lazy lists, type classes, lazy state monad, and unsafe Perform I0, and point to several areas where Haskell could be improved in the future. We end with an example of a benefit gained by bringing the functional perspective to microarchitectural modelling." @default.
- W2000722817 created "2016-06-24" @default.
- W2000722817 creator A5003921851 @default.
- W2000722817 creator A5086207567 @default.
- W2000722817 creator A5087115618 @default.
- W2000722817 date "1999-09-01" @default.
- W2000722817 modified "2023-10-17" @default.
- W2000722817 title "On embedding a microarchitectural design language within Haskell" @default.
- W2000722817 cites W2030224590 @default.
- W2000722817 cites W2049600101 @default.
- W2000722817 cites W2074674709 @default.
- W2000722817 cites W2074802267 @default.
- W2000722817 cites W2079512738 @default.
- W2000722817 cites W2093664495 @default.
- W2000722817 cites W2095572512 @default.
- W2000722817 cites W2110066118 @default.
- W2000722817 cites W2114980032 @default.
- W2000722817 cites W2118532220 @default.
- W2000722817 cites W2134112335 @default.
- W2000722817 cites W2169810797 @default.
- W2000722817 cites W2506957356 @default.
- W2000722817 doi "https://doi.org/10.1145/317636.317784" @default.
- W2000722817 hasPublicationYear "1999" @default.
- W2000722817 type Work @default.
- W2000722817 sameAs 2000722817 @default.
- W2000722817 citedByCount "43" @default.
- W2000722817 countsByYear W20007228172012 @default.
- W2000722817 countsByYear W20007228172013 @default.
- W2000722817 countsByYear W20007228172014 @default.
- W2000722817 countsByYear W20007228172016 @default.
- W2000722817 crossrefType "proceedings-article" @default.
- W2000722817 hasAuthorship W2000722817A5003921851 @default.
- W2000722817 hasAuthorship W2000722817A5086207567 @default.
- W2000722817 hasAuthorship W2000722817A5087115618 @default.
- W2000722817 hasConcept C118615104 @default.
- W2000722817 hasConcept C12713177 @default.
- W2000722817 hasConcept C154945302 @default.
- W2000722817 hasConcept C156772000 @default.
- W2000722817 hasConcept C199360897 @default.
- W2000722817 hasConcept C2524010 @default.
- W2000722817 hasConcept C2780624054 @default.
- W2000722817 hasConcept C28719098 @default.
- W2000722817 hasConcept C33923547 @default.
- W2000722817 hasConcept C33959348 @default.
- W2000722817 hasConcept C41008148 @default.
- W2000722817 hasConcept C41608201 @default.
- W2000722817 hasConcept C42383842 @default.
- W2000722817 hasConceptScore W2000722817C118615104 @default.
- W2000722817 hasConceptScore W2000722817C12713177 @default.
- W2000722817 hasConceptScore W2000722817C154945302 @default.
- W2000722817 hasConceptScore W2000722817C156772000 @default.
- W2000722817 hasConceptScore W2000722817C199360897 @default.
- W2000722817 hasConceptScore W2000722817C2524010 @default.
- W2000722817 hasConceptScore W2000722817C2780624054 @default.
- W2000722817 hasConceptScore W2000722817C28719098 @default.
- W2000722817 hasConceptScore W2000722817C33923547 @default.
- W2000722817 hasConceptScore W2000722817C33959348 @default.
- W2000722817 hasConceptScore W2000722817C41008148 @default.
- W2000722817 hasConceptScore W2000722817C41608201 @default.
- W2000722817 hasConceptScore W2000722817C42383842 @default.
- W2000722817 hasLocation W20007228171 @default.
- W2000722817 hasOpenAccess W2000722817 @default.
- W2000722817 hasPrimaryLocation W20007228171 @default.
- W2000722817 hasRelatedWork W1504459189 @default.
- W2000722817 hasRelatedWork W1533419251 @default.
- W2000722817 hasRelatedWork W154014553 @default.
- W2000722817 hasRelatedWork W1601811574 @default.
- W2000722817 hasRelatedWork W2099741881 @default.
- W2000722817 hasRelatedWork W2406651324 @default.
- W2000722817 hasRelatedWork W2547899303 @default.
- W2000722817 hasRelatedWork W2765318545 @default.
- W2000722817 hasRelatedWork W2913635267 @default.
- W2000722817 hasRelatedWork W4255783807 @default.
- W2000722817 isParatext "false" @default.
- W2000722817 isRetracted "false" @default.
- W2000722817 magId "2000722817" @default.
- W2000722817 workType "article" @default.