Matches in SemOpenAlex for { <https://semopenalex.org/work/W2017779500> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2017779500 endingPage "183" @default.
- W2017779500 startingPage "173" @default.
- W2017779500 abstract "This paper introduces TILC: the interactive lambda-calculus tracer. TILC aims to be a friendly user graphical application that helps teaching/studying the main basic concepts of pure untyped lambda-calculus. This is achieved by allowing users to graphically interact with a sort of parse-tree of the lambda-terms and automatically reproducing these interactions in the lambda-term. This graphical interaction encourages students to practice with lambda-terms easing the learning of the syntax and of the operational semantics of lambda-calculus. TILC has been built using HASKELL, and the tools wxHaskell and Happy. It can be freely downloaded from http://ima.udg.edu/~villaret/tilc/." @default.
- W2017779500 created "2016-06-24" @default.
- W2017779500 creator A5021854785 @default.
- W2017779500 creator A5057698424 @default.
- W2017779500 date "2009-08-01" @default.
- W2017779500 modified "2023-09-24" @default.
- W2017779500 title "TILC: The Interactive Lambda-Calculus Tracer" @default.
- W2017779500 cites W2096189728 @default.
- W2017779500 cites W2120926795 @default.
- W2017779500 cites W2141591284 @default.
- W2017779500 cites W2154273644 @default.
- W2017779500 cites W2313175711 @default.
- W2017779500 cites W62513498 @default.
- W2017779500 doi "https://doi.org/10.1016/j.entcs.2009.07.067" @default.
- W2017779500 hasPublicationYear "2009" @default.
- W2017779500 type Work @default.
- W2017779500 sameAs 2017779500 @default.
- W2017779500 citedByCount "3" @default.
- W2017779500 countsByYear W20177795002013 @default.
- W2017779500 countsByYear W20177795002018 @default.
- W2017779500 crossrefType "journal-article" @default.
- W2017779500 hasAuthorship W2017779500A5021854785 @default.
- W2017779500 hasAuthorship W2017779500A5057698424 @default.
- W2017779500 hasBestOaLocation W20177795001 @default.
- W2017779500 hasConcept C120665830 @default.
- W2017779500 hasConcept C121332964 @default.
- W2017779500 hasConcept C135790938 @default.
- W2017779500 hasConcept C142156749 @default.
- W2017779500 hasConcept C154945302 @default.
- W2017779500 hasConcept C184337299 @default.
- W2017779500 hasConcept C186644900 @default.
- W2017779500 hasConcept C199343813 @default.
- W2017779500 hasConcept C199360897 @default.
- W2017779500 hasConcept C2777686260 @default.
- W2017779500 hasConcept C2778113609 @default.
- W2017779500 hasConcept C2780624054 @default.
- W2017779500 hasConcept C41008148 @default.
- W2017779500 hasConcept C42383842 @default.
- W2017779500 hasConcept C55128367 @default.
- W2017779500 hasConcept C60048249 @default.
- W2017779500 hasConcept C61237538 @default.
- W2017779500 hasConcept C71924100 @default.
- W2017779500 hasConcept C77736955 @default.
- W2017779500 hasConceptScore W2017779500C120665830 @default.
- W2017779500 hasConceptScore W2017779500C121332964 @default.
- W2017779500 hasConceptScore W2017779500C135790938 @default.
- W2017779500 hasConceptScore W2017779500C142156749 @default.
- W2017779500 hasConceptScore W2017779500C154945302 @default.
- W2017779500 hasConceptScore W2017779500C184337299 @default.
- W2017779500 hasConceptScore W2017779500C186644900 @default.
- W2017779500 hasConceptScore W2017779500C199343813 @default.
- W2017779500 hasConceptScore W2017779500C199360897 @default.
- W2017779500 hasConceptScore W2017779500C2777686260 @default.
- W2017779500 hasConceptScore W2017779500C2778113609 @default.
- W2017779500 hasConceptScore W2017779500C2780624054 @default.
- W2017779500 hasConceptScore W2017779500C41008148 @default.
- W2017779500 hasConceptScore W2017779500C42383842 @default.
- W2017779500 hasConceptScore W2017779500C55128367 @default.
- W2017779500 hasConceptScore W2017779500C60048249 @default.
- W2017779500 hasConceptScore W2017779500C61237538 @default.
- W2017779500 hasConceptScore W2017779500C71924100 @default.
- W2017779500 hasConceptScore W2017779500C77736955 @default.
- W2017779500 hasLocation W20177795001 @default.
- W2017779500 hasOpenAccess W2017779500 @default.
- W2017779500 hasPrimaryLocation W20177795001 @default.
- W2017779500 hasRelatedWork W1633106243 @default.
- W2017779500 hasRelatedWork W2101274322 @default.
- W2017779500 hasRelatedWork W2189323991 @default.
- W2017779500 hasRelatedWork W2373977992 @default.
- W2017779500 hasRelatedWork W2615070270 @default.
- W2017779500 hasRelatedWork W3025076051 @default.
- W2017779500 hasRelatedWork W4230977852 @default.
- W2017779500 hasRelatedWork W62459810 @default.
- W2017779500 hasRelatedWork W811489916 @default.
- W2017779500 hasRelatedWork W2785405191 @default.
- W2017779500 hasVolume "248" @default.
- W2017779500 isParatext "false" @default.
- W2017779500 isRetracted "false" @default.
- W2017779500 magId "2017779500" @default.
- W2017779500 workType "article" @default.