Matches in SemOpenAlex for { <https://semopenalex.org/work/W1742384193> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W1742384193 endingPage "15" @default.
- W1742384193 startingPage "1" @default.
- W1742384193 abstract "We present the approach underlying a course on Domain-Specific Languages of Mathematics, currently being developed at Chalmers in response to difficulties faced by third-year students in learning and applying classical mathematics (mainly real and complex analysis). The main idea is to encourage the students to approach mathematical domains from a functional programming perspective: to identify the main functions and types involved and, when necessary, to introduce new abstractions; to give calculational proofs; to pay attention to the syntax of the mathematical expressions; and, finally, to organise the resulting functions and types in domain-specific languages." @default.
- W1742384193 created "2016-06-24" @default.
- W1742384193 creator A5008465984 @default.
- W1742384193 date "2016-11-26" @default.
- W1742384193 modified "2023-09-27" @default.
- W1742384193 title "Domain-Specific Languages of Mathematics: Presenting Mathematical Analysis Using Functional Programming" @default.
- W1742384193 cites W1416682952 @default.
- W1742384193 cites W1567558468 @default.
- W1742384193 cites W1581084465 @default.
- W1742384193 cites W159622052 @default.
- W1742384193 cites W1995618084 @default.
- W1742384193 cites W2050354778 @default.
- W1742384193 cites W2052264475 @default.
- W1742384193 cites W2105534596 @default.
- W1742384193 cites W2117144511 @default.
- W1742384193 cites W2133221106 @default.
- W1742384193 cites W2145108549 @default.
- W1742384193 cites W4243411988 @default.
- W1742384193 cites W4251382602 @default.
- W1742384193 cites W587099212 @default.
- W1742384193 cites W78147775 @default.
- W1742384193 cites W990710721 @default.
- W1742384193 doi "https://doi.org/10.4204/eptcs.230.1" @default.
- W1742384193 hasPublicationYear "2016" @default.
- W1742384193 type Work @default.
- W1742384193 sameAs 1742384193 @default.
- W1742384193 citedByCount "2" @default.
- W1742384193 countsByYear W17423841932018 @default.
- W1742384193 countsByYear W17423841932019 @default.
- W1742384193 crossrefType "journal-article" @default.
- W1742384193 hasAuthorship W1742384193A5008465984 @default.
- W1742384193 hasBestOaLocation W17423841931 @default.
- W1742384193 hasConcept C108710211 @default.
- W1742384193 hasConcept C118615104 @default.
- W1742384193 hasConcept C12713177 @default.
- W1742384193 hasConcept C134306372 @default.
- W1742384193 hasConcept C135257023 @default.
- W1742384193 hasConcept C145420912 @default.
- W1742384193 hasConcept C154945302 @default.
- W1742384193 hasConcept C172347087 @default.
- W1742384193 hasConcept C18701968 @default.
- W1742384193 hasConcept C199360897 @default.
- W1742384193 hasConcept C2524010 @default.
- W1742384193 hasConcept C29585364 @default.
- W1742384193 hasConcept C33923547 @default.
- W1742384193 hasConcept C34165917 @default.
- W1742384193 hasConcept C36503486 @default.
- W1742384193 hasConcept C41008148 @default.
- W1742384193 hasConcept C42383842 @default.
- W1742384193 hasConcept C50033165 @default.
- W1742384193 hasConcept C60048249 @default.
- W1742384193 hasConcept C74149592 @default.
- W1742384193 hasConcept C80444323 @default.
- W1742384193 hasConceptScore W1742384193C108710211 @default.
- W1742384193 hasConceptScore W1742384193C118615104 @default.
- W1742384193 hasConceptScore W1742384193C12713177 @default.
- W1742384193 hasConceptScore W1742384193C134306372 @default.
- W1742384193 hasConceptScore W1742384193C135257023 @default.
- W1742384193 hasConceptScore W1742384193C145420912 @default.
- W1742384193 hasConceptScore W1742384193C154945302 @default.
- W1742384193 hasConceptScore W1742384193C172347087 @default.
- W1742384193 hasConceptScore W1742384193C18701968 @default.
- W1742384193 hasConceptScore W1742384193C199360897 @default.
- W1742384193 hasConceptScore W1742384193C2524010 @default.
- W1742384193 hasConceptScore W1742384193C29585364 @default.
- W1742384193 hasConceptScore W1742384193C33923547 @default.
- W1742384193 hasConceptScore W1742384193C34165917 @default.
- W1742384193 hasConceptScore W1742384193C36503486 @default.
- W1742384193 hasConceptScore W1742384193C41008148 @default.
- W1742384193 hasConceptScore W1742384193C42383842 @default.
- W1742384193 hasConceptScore W1742384193C50033165 @default.
- W1742384193 hasConceptScore W1742384193C60048249 @default.
- W1742384193 hasConceptScore W1742384193C74149592 @default.
- W1742384193 hasConceptScore W1742384193C80444323 @default.
- W1742384193 hasLocation W17423841931 @default.
- W1742384193 hasLocation W17423841932 @default.
- W1742384193 hasLocation W17423841933 @default.
- W1742384193 hasOpenAccess W1742384193 @default.
- W1742384193 hasPrimaryLocation W17423841931 @default.
- W1742384193 hasRelatedWork W1488414242 @default.
- W1742384193 hasRelatedWork W1545794938 @default.
- W1742384193 hasRelatedWork W1742384193 @default.
- W1742384193 hasRelatedWork W1968525485 @default.
- W1742384193 hasRelatedWork W1973795410 @default.
- W1742384193 hasRelatedWork W2999858054 @default.
- W1742384193 hasRelatedWork W3006199460 @default.
- W1742384193 hasRelatedWork W3151494349 @default.
- W1742384193 hasRelatedWork W4244888611 @default.
- W1742384193 hasRelatedWork W990710721 @default.
- W1742384193 hasVolume "230" @default.
- W1742384193 isParatext "false" @default.
- W1742384193 isRetracted "false" @default.
- W1742384193 magId "1742384193" @default.
- W1742384193 workType "article" @default.