Matches in SemOpenAlex for { <https://semopenalex.org/work/W11382227> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W11382227 abstract "This thesis presents a compiler for the simple functional programming language LambdaPi,which includes dependent types. The compiler is written in Haskell and uses LLVM, aframework for building optimizing compiler backends. It can compile the completestandard library provided by LambdaPi’s authors into native machine code. It is not muchof an optimizing compiler, but several obvious opportunities for improvement exist. First I discuss the theoretical background of project: the principles of dependent types and the languages which include them. I also give a brief overview of the LLVM system and of related work. The second section describes the process of implementation, which was done in stages from a trivial calculator language up to full LambdaPi. And finally we consider opportunities for optimization. Some of these stem from Edwin Brady’s [2005] analysis of Epigram, while others are lower-level and can be performed for us by LLVM." @default.
- W11382227 created "2016-06-24" @default.
- W11382227 creator A5059529348 @default.
- W11382227 date "2010-01-01" @default.
- W11382227 modified "2023-09-23" @default.
- W11382227 title "Implementing and Optimizing a Simple, Dependently-Typed Language" @default.
- W11382227 cites W157437682 @default.
- W11382227 cites W1575675278 @default.
- W11382227 cites W1632691573 @default.
- W11382227 cites W2024914463 @default.
- W11382227 cites W2027584005 @default.
- W11382227 cites W2119897009 @default.
- W11382227 cites W2136651263 @default.
- W11382227 cites W3011687447 @default.
- W11382227 hasPublicationYear "2010" @default.
- W11382227 type Work @default.
- W11382227 sameAs 11382227 @default.
- W11382227 citedByCount "0" @default.
- W11382227 crossrefType "dissertation" @default.
- W11382227 hasAuthorship W11382227A5059529348 @default.
- W11382227 hasConcept C111472728 @default.
- W11382227 hasConcept C111564260 @default.
- W11382227 hasConcept C111919701 @default.
- W11382227 hasConcept C138885662 @default.
- W11382227 hasConcept C169590947 @default.
- W11382227 hasConcept C190902152 @default.
- W11382227 hasConcept C199360897 @default.
- W11382227 hasConcept C2776836400 @default.
- W11382227 hasConcept C2780586882 @default.
- W11382227 hasConcept C2780624054 @default.
- W11382227 hasConcept C29331672 @default.
- W11382227 hasConcept C41008148 @default.
- W11382227 hasConcept C42383842 @default.
- W11382227 hasConceptScore W11382227C111472728 @default.
- W11382227 hasConceptScore W11382227C111564260 @default.
- W11382227 hasConceptScore W11382227C111919701 @default.
- W11382227 hasConceptScore W11382227C138885662 @default.
- W11382227 hasConceptScore W11382227C169590947 @default.
- W11382227 hasConceptScore W11382227C190902152 @default.
- W11382227 hasConceptScore W11382227C199360897 @default.
- W11382227 hasConceptScore W11382227C2776836400 @default.
- W11382227 hasConceptScore W11382227C2780586882 @default.
- W11382227 hasConceptScore W11382227C2780624054 @default.
- W11382227 hasConceptScore W11382227C29331672 @default.
- W11382227 hasConceptScore W11382227C41008148 @default.
- W11382227 hasConceptScore W11382227C42383842 @default.
- W11382227 hasLocation W113822271 @default.
- W11382227 hasOpenAccess W11382227 @default.
- W11382227 hasPrimaryLocation W113822271 @default.
- W11382227 hasRelatedWork W1488266104 @default.
- W11382227 hasRelatedWork W1494199306 @default.
- W11382227 hasRelatedWork W2000611761 @default.
- W11382227 hasRelatedWork W2001269532 @default.
- W11382227 hasRelatedWork W2016594368 @default.
- W11382227 hasRelatedWork W2018549339 @default.
- W11382227 hasRelatedWork W2042120591 @default.
- W11382227 hasRelatedWork W2046123638 @default.
- W11382227 hasRelatedWork W2155757092 @default.
- W11382227 hasRelatedWork W2155888041 @default.
- W11382227 hasRelatedWork W218874624 @default.
- W11382227 hasRelatedWork W2406241532 @default.
- W11382227 hasRelatedWork W2507310726 @default.
- W11382227 hasRelatedWork W2950469776 @default.
- W11382227 hasRelatedWork W3008974838 @default.
- W11382227 hasRelatedWork W3092853977 @default.
- W11382227 hasRelatedWork W3145846323 @default.
- W11382227 hasRelatedWork W567444947 @default.
- W11382227 hasRelatedWork W6258447 @default.
- W11382227 hasRelatedWork W948812171 @default.
- W11382227 isParatext "false" @default.
- W11382227 isRetracted "false" @default.
- W11382227 magId "11382227" @default.
- W11382227 workType "dissertation" @default.