Matches in SemOpenAlex for { <https://semopenalex.org/work/W108265368> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W108265368 abstract "We present a domain-specic embedded language that allows the denition of rule systems in Haskell. As one particular example, we consider the modeling of type systems, which is an important part of programming language design. Type systems are most conveniently described using rule systems. Our approach is well integrated into Haskell’s type system and thus facilitates the convenient modeling of type systems and language semantics in general. We also demonstrate how our DSEL allows functional-logic programming in Haskell. Our system generalizes previous work by operating on user-dened data types, taking advantage of static typing, representing rules as functions, and allows a creative integration of logical variables into data structures which generalizes two previous approaches. We describe a straightforward method for translating rule systems into our DSEL." @default.
- W108265368 created "2016-06-24" @default.
- W108265368 creator A5050345494 @default.
- W108265368 creator A5078733350 @default.
- W108265368 date "2006-01-01" @default.
- W108265368 modified "2023-09-27" @default.
- W108265368 title "Haskell Rules: Embedding Rule Systems in Haskell" @default.
- W108265368 cites W1486941949 @default.
- W108265368 cites W1503235811 @default.
- W108265368 cites W1508922656 @default.
- W108265368 cites W1532865120 @default.
- W108265368 cites W1585088833 @default.
- W108265368 cites W1586338668 @default.
- W108265368 cites W1727609483 @default.
- W108265368 cites W1765587671 @default.
- W108265368 cites W1965439412 @default.
- W108265368 cites W1970782371 @default.
- W108265368 cites W1982243747 @default.
- W108265368 cites W2022647944 @default.
- W108265368 cites W2091033850 @default.
- W108265368 cites W2120926795 @default.
- W108265368 cites W2141759034 @default.
- W108265368 cites W2143823533 @default.
- W108265368 cites W2157592151 @default.
- W108265368 cites W2161930435 @default.
- W108265368 cites W62652455 @default.
- W108265368 hasPublicationYear "2006" @default.
- W108265368 type Work @default.
- W108265368 sameAs 108265368 @default.
- W108265368 citedByCount "0" @default.
- W108265368 crossrefType "journal-article" @default.
- W108265368 hasAuthorship W108265368A5050345494 @default.
- W108265368 hasAuthorship W108265368A5078733350 @default.
- W108265368 hasConcept C134306372 @default.
- W108265368 hasConcept C154945302 @default.
- W108265368 hasConcept C18903297 @default.
- W108265368 hasConcept C199360897 @default.
- W108265368 hasConcept C2777299769 @default.
- W108265368 hasConcept C2780624054 @default.
- W108265368 hasConcept C33923547 @default.
- W108265368 hasConcept C36503486 @default.
- W108265368 hasConcept C41008148 @default.
- W108265368 hasConcept C41608201 @default.
- W108265368 hasConcept C42383842 @default.
- W108265368 hasConcept C80444323 @default.
- W108265368 hasConcept C86803240 @default.
- W108265368 hasConceptScore W108265368C134306372 @default.
- W108265368 hasConceptScore W108265368C154945302 @default.
- W108265368 hasConceptScore W108265368C18903297 @default.
- W108265368 hasConceptScore W108265368C199360897 @default.
- W108265368 hasConceptScore W108265368C2777299769 @default.
- W108265368 hasConceptScore W108265368C2780624054 @default.
- W108265368 hasConceptScore W108265368C33923547 @default.
- W108265368 hasConceptScore W108265368C36503486 @default.
- W108265368 hasConceptScore W108265368C41008148 @default.
- W108265368 hasConceptScore W108265368C41608201 @default.
- W108265368 hasConceptScore W108265368C42383842 @default.
- W108265368 hasConceptScore W108265368C80444323 @default.
- W108265368 hasConceptScore W108265368C86803240 @default.
- W108265368 hasLocation W1082653681 @default.
- W108265368 hasOpenAccess W108265368 @default.
- W108265368 hasPrimaryLocation W1082653681 @default.
- W108265368 hasRelatedWork W1486703026 @default.
- W108265368 hasRelatedWork W1559099005 @default.
- W108265368 hasRelatedWork W1559321437 @default.
- W108265368 hasRelatedWork W1606878978 @default.
- W108265368 hasRelatedWork W1843905228 @default.
- W108265368 hasRelatedWork W1981269662 @default.
- W108265368 hasRelatedWork W1991962337 @default.
- W108265368 hasRelatedWork W1997392701 @default.
- W108265368 hasRelatedWork W2003007905 @default.
- W108265368 hasRelatedWork W2022647944 @default.
- W108265368 hasRelatedWork W2135084927 @default.
- W108265368 hasRelatedWork W2147335415 @default.
- W108265368 hasRelatedWork W2166289497 @default.
- W108265368 hasRelatedWork W2166378226 @default.
- W108265368 hasRelatedWork W2296715995 @default.
- W108265368 hasRelatedWork W2810463395 @default.
- W108265368 hasRelatedWork W2886155613 @default.
- W108265368 hasRelatedWork W2914141234 @default.
- W108265368 hasRelatedWork W2950633473 @default.
- W108265368 hasRelatedWork W91661834 @default.
- W108265368 isParatext "false" @default.
- W108265368 isRetracted "false" @default.
- W108265368 magId "108265368" @default.
- W108265368 workType "article" @default.