Matches in SemOpenAlex for { <https://semopenalex.org/work/W4313472926> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W4313472926 endingPage "43" @default.
- W4313472926 startingPage "43" @default.
- W4313472926 abstract "In this paper, we develop, in the proof assistant Coq, a definitional interpreter and a type-checker for a simply typed functional language, and formally prove that the mentioned type-checker is sound with respect to the definitional interpreter via progress and preservation. To represent binders, we embark on the choice of “concrete syntax” in which parameters are just names (or strings)." @default.
- W4313472926 created "2023-01-06" @default.
- W4313472926 creator A5017884012 @default.
- W4313472926 date "2022-12-30" @default.
- W4313472926 modified "2023-10-05" @default.
- W4313472926 title "A Sound Definitional Interpreter for a Simply Typed Functional Language" @default.
- W4313472926 cites W1980939032 @default.
- W4313472926 cites W1986402635 @default.
- W4313472926 cites W1996404651 @default.
- W4313472926 cites W1997143185 @default.
- W4313472926 cites W2054969282 @default.
- W4313472926 cites W2091657052 @default.
- W4313472926 cites W2127114597 @default.
- W4313472926 cites W2402296188 @default.
- W4313472926 cites W2568721247 @default.
- W4313472926 cites W3098054590 @default.
- W4313472926 cites W3123143760 @default.
- W4313472926 cites W4246086292 @default.
- W4313472926 doi "https://doi.org/10.3390/axioms12010043" @default.
- W4313472926 hasPublicationYear "2022" @default.
- W4313472926 type Work @default.
- W4313472926 citedByCount "0" @default.
- W4313472926 crossrefType "journal-article" @default.
- W4313472926 hasAuthorship W4313472926A5017884012 @default.
- W4313472926 hasBestOaLocation W43134729261 @default.
- W4313472926 hasConcept C108710211 @default.
- W4313472926 hasConcept C114408938 @default.
- W4313472926 hasConcept C122783720 @default.
- W4313472926 hasConcept C138885662 @default.
- W4313472926 hasConcept C184337299 @default.
- W4313472926 hasConcept C18903297 @default.
- W4313472926 hasConcept C199360897 @default.
- W4313472926 hasConcept C203265346 @default.
- W4313472926 hasConcept C204321447 @default.
- W4313472926 hasConcept C2524010 @default.
- W4313472926 hasConcept C2777299769 @default.
- W4313472926 hasConcept C33923547 @default.
- W4313472926 hasConcept C41008148 @default.
- W4313472926 hasConcept C41895202 @default.
- W4313472926 hasConcept C60048249 @default.
- W4313472926 hasConcept C86803240 @default.
- W4313472926 hasConceptScore W4313472926C108710211 @default.
- W4313472926 hasConceptScore W4313472926C114408938 @default.
- W4313472926 hasConceptScore W4313472926C122783720 @default.
- W4313472926 hasConceptScore W4313472926C138885662 @default.
- W4313472926 hasConceptScore W4313472926C184337299 @default.
- W4313472926 hasConceptScore W4313472926C18903297 @default.
- W4313472926 hasConceptScore W4313472926C199360897 @default.
- W4313472926 hasConceptScore W4313472926C203265346 @default.
- W4313472926 hasConceptScore W4313472926C204321447 @default.
- W4313472926 hasConceptScore W4313472926C2524010 @default.
- W4313472926 hasConceptScore W4313472926C2777299769 @default.
- W4313472926 hasConceptScore W4313472926C33923547 @default.
- W4313472926 hasConceptScore W4313472926C41008148 @default.
- W4313472926 hasConceptScore W4313472926C41895202 @default.
- W4313472926 hasConceptScore W4313472926C60048249 @default.
- W4313472926 hasConceptScore W4313472926C86803240 @default.
- W4313472926 hasIssue "1" @default.
- W4313472926 hasLocation W43134729261 @default.
- W4313472926 hasLocation W43134729262 @default.
- W4313472926 hasOpenAccess W4313472926 @default.
- W4313472926 hasPrimaryLocation W43134729261 @default.
- W4313472926 hasRelatedWork W112160617 @default.
- W4313472926 hasRelatedWork W1515791128 @default.
- W4313472926 hasRelatedWork W1583109508 @default.
- W4313472926 hasRelatedWork W1625533892 @default.
- W4313472926 hasRelatedWork W1964490202 @default.
- W4313472926 hasRelatedWork W2018297885 @default.
- W4313472926 hasRelatedWork W2998595860 @default.
- W4313472926 hasRelatedWork W3003081834 @default.
- W4313472926 hasRelatedWork W4245681215 @default.
- W4313472926 hasRelatedWork W4246531319 @default.
- W4313472926 hasVolume "12" @default.
- W4313472926 isParatext "false" @default.
- W4313472926 isRetracted "false" @default.
- W4313472926 workType "article" @default.