Matches in SemOpenAlex for { <https://semopenalex.org/work/W2590243525> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2590243525 abstract "We develop a theoretical foundation for compiling the programming language Agda to System Fω , which is a stepping stone towards a compiler from Agda to Haskell. The practical relevance for software engineering and the problem of providing correctness guarantees for programs is highlighted. After describing relevant λcalculi, we specify the semantics for compiling Agda to System Fω . Finally, we illustrate those compilation rules by manually translating several Agda code examples to System Fω ." @default.
- W2590243525 created "2017-03-03" @default.
- W2590243525 creator A5067979161 @default.
- W2590243525 date "2015-07-20" @default.
- W2590243525 modified "2023-09-27" @default.
- W2590243525 title "Compiling Agda to System Fω in Theory" @default.
- W2590243525 cites W1498395593 @default.
- W2590243525 cites W1511530761 @default.
- W2590243525 cites W1522720500 @default.
- W2590243525 cites W1528415032 @default.
- W2590243525 cites W1546727036 @default.
- W2590243525 cites W1557561422 @default.
- W2590243525 cites W1575675278 @default.
- W2590243525 cites W1578785003 @default.
- W2590243525 cites W1595372275 @default.
- W2590243525 cites W1597756446 @default.
- W2590243525 cites W1759945398 @default.
- W2590243525 cites W177558105 @default.
- W2590243525 cites W1982209843 @default.
- W2590243525 cites W1986402635 @default.
- W2590243525 cites W2007270285 @default.
- W2590243525 cites W2019376542 @default.
- W2590243525 cites W2037177386 @default.
- W2590243525 cites W2039112578 @default.
- W2590243525 cites W2045255985 @default.
- W2590243525 cites W2058193465 @default.
- W2590243525 cites W2086727636 @default.
- W2590243525 cites W2095377417 @default.
- W2590243525 cites W2119717320 @default.
- W2590243525 cites W2125690388 @default.
- W2590243525 cites W2133414060 @default.
- W2590243525 cites W2145108549 @default.
- W2590243525 cites W2145691535 @default.
- W2590243525 cites W2154941560 @default.
- W2590243525 cites W2166822586 @default.
- W2590243525 cites W2182283312 @default.
- W2590243525 cites W2313175711 @default.
- W2590243525 cites W2323777246 @default.
- W2590243525 cites W2402296188 @default.
- W2590243525 cites W2611598995 @default.
- W2590243525 cites W2912876187 @default.
- W2590243525 cites W3143245542 @default.
- W2590243525 cites W3145128584 @default.
- W2590243525 cites W85177704 @default.
- W2590243525 cites W2496967571 @default.
- W2590243525 hasPublicationYear "2015" @default.
- W2590243525 type Work @default.
- W2590243525 sameAs 2590243525 @default.
- W2590243525 citedByCount "0" @default.
- W2590243525 crossrefType "journal-article" @default.
- W2590243525 hasAuthorship W2590243525A5067979161 @default.
- W2590243525 hasConcept C169590947 @default.
- W2590243525 hasConcept C199360897 @default.
- W2590243525 hasConcept C2780624054 @default.
- W2590243525 hasConcept C41008148 @default.
- W2590243525 hasConcept C42383842 @default.
- W2590243525 hasConcept C55439883 @default.
- W2590243525 hasConceptScore W2590243525C169590947 @default.
- W2590243525 hasConceptScore W2590243525C199360897 @default.
- W2590243525 hasConceptScore W2590243525C2780624054 @default.
- W2590243525 hasConceptScore W2590243525C41008148 @default.
- W2590243525 hasConceptScore W2590243525C42383842 @default.
- W2590243525 hasConceptScore W2590243525C55439883 @default.
- W2590243525 hasLocation W25902435251 @default.
- W2590243525 hasOpenAccess W2590243525 @default.
- W2590243525 hasPrimaryLocation W25902435251 @default.
- W2590243525 hasRelatedWork W1482457814 @default.
- W2590243525 hasRelatedWork W150739485 @default.
- W2590243525 hasRelatedWork W1558175043 @default.
- W2590243525 hasRelatedWork W1973667838 @default.
- W2590243525 hasRelatedWork W1993439695 @default.
- W2590243525 hasRelatedWork W2003776467 @default.
- W2590243525 hasRelatedWork W2080165344 @default.
- W2590243525 hasRelatedWork W2082043541 @default.
- W2590243525 hasRelatedWork W2086127849 @default.
- W2590243525 hasRelatedWork W2150895128 @default.
- W2590243525 hasRelatedWork W2156285626 @default.
- W2590243525 hasRelatedWork W2187754604 @default.
- W2590243525 hasRelatedWork W2501285533 @default.
- W2590243525 hasRelatedWork W2751791540 @default.
- W2590243525 hasRelatedWork W2795541787 @default.
- W2590243525 hasRelatedWork W2799064532 @default.
- W2590243525 hasRelatedWork W2955111520 @default.
- W2590243525 hasRelatedWork W2963594258 @default.
- W2590243525 hasRelatedWork W2979445360 @default.
- W2590243525 hasRelatedWork W3025157177 @default.
- W2590243525 isParatext "false" @default.
- W2590243525 isRetracted "false" @default.
- W2590243525 magId "2590243525" @default.
- W2590243525 workType "article" @default.