Matches in SemOpenAlex for { <https://semopenalex.org/work/W2912475452> ?p ?o ?g. }
Showing items 1 to 61 of
61
with 100 items per page.
- W2912475452 abstract "It is our great pleasure to welcome you to the third workshop on Mathematically Structured Functional Programming (MSFP 2010). This year, MSFP is affiliated with the International Conference on Functional Programming (ICFP) and takes place in Baltimore, Maryland (US) on 25 September.MSFP is devoted to the derivation of functionality from structure. It is a celebration of the direct impact of Theoretical Computer Science on programs as we write them today. Modern programming languages, and in particular functional languages, support the direct expression of mathematical structures, equipping programmers with tools of remarkable power and abstraction. Monadicprogramming in Haskell is the paradigmatic example, but there are many more mathematical insights manifest in programs and in programming language design: Freyd-categories in reactive programming, symbolic differentiation yielding context structures, and comonadic presentations of dataflow, to name but three. This workshop is a forum for researchers who seek to reflect mathematical phenomena in data and control.We selected four high-quality articles from all the submitted papers. Each one was thoroughly refereed by at least three experts in the relevant field. In addition we invited two leading researchers, Amy Felty and Martin Escardo, to give overview talks in two important areas of the mathematical foundation of functional programming. Finally, we asked two experts, Adam Chlipala and Peter Morris, to give tutorials on two major systems based on dependently typed functional programming.Thus, this year's workshop offers an exciting mixture of different kinds of contributions, all of exceptional quality. We hope that you will gain an enlightening vista of one of the most fertile area of research in theoretical computer science." @default.
- W2912475452 created "2019-02-21" @default.
- W2912475452 creator A5025355354 @default.
- W2912475452 creator A5071284944 @default.
- W2912475452 date "2010-09-25" @default.
- W2912475452 modified "2023-10-16" @default.
- W2912475452 title "Proceedings of the third ACM SIGPLAN workshop on Mathematically structured functional programming" @default.
- W2912475452 hasPublicationYear "2010" @default.
- W2912475452 type Work @default.
- W2912475452 sameAs 2912475452 @default.
- W2912475452 citedByCount "0" @default.
- W2912475452 crossrefType "proceedings-article" @default.
- W2912475452 hasAuthorship W2912475452A5025355354 @default.
- W2912475452 hasAuthorship W2912475452A5071284944 @default.
- W2912475452 hasConcept C111472728 @default.
- W2912475452 hasConcept C124304363 @default.
- W2912475452 hasConcept C138885662 @default.
- W2912475452 hasConcept C151730666 @default.
- W2912475452 hasConcept C199360897 @default.
- W2912475452 hasConcept C2779343474 @default.
- W2912475452 hasConcept C2780624054 @default.
- W2912475452 hasConcept C41008148 @default.
- W2912475452 hasConcept C42383842 @default.
- W2912475452 hasConcept C86803240 @default.
- W2912475452 hasConceptScore W2912475452C111472728 @default.
- W2912475452 hasConceptScore W2912475452C124304363 @default.
- W2912475452 hasConceptScore W2912475452C138885662 @default.
- W2912475452 hasConceptScore W2912475452C151730666 @default.
- W2912475452 hasConceptScore W2912475452C199360897 @default.
- W2912475452 hasConceptScore W2912475452C2779343474 @default.
- W2912475452 hasConceptScore W2912475452C2780624054 @default.
- W2912475452 hasConceptScore W2912475452C41008148 @default.
- W2912475452 hasConceptScore W2912475452C42383842 @default.
- W2912475452 hasConceptScore W2912475452C86803240 @default.
- W2912475452 hasLocation W29124754521 @default.
- W2912475452 hasOpenAccess W2912475452 @default.
- W2912475452 hasPrimaryLocation W29124754521 @default.
- W2912475452 hasRelatedWork W148837244 @default.
- W2912475452 hasRelatedWork W1595762660 @default.
- W2912475452 hasRelatedWork W1905241273 @default.
- W2912475452 hasRelatedWork W195077819 @default.
- W2912475452 hasRelatedWork W20742738 @default.
- W2912475452 hasRelatedWork W2085050771 @default.
- W2912475452 hasRelatedWork W2286902864 @default.
- W2912475452 hasRelatedWork W2477724666 @default.
- W2912475452 hasRelatedWork W2521857543 @default.
- W2912475452 hasRelatedWork W2869789084 @default.
- W2912475452 hasRelatedWork W2886783692 @default.
- W2912475452 hasRelatedWork W2913755338 @default.
- W2912475452 hasRelatedWork W2914025091 @default.
- W2912475452 hasRelatedWork W2914308132 @default.
- W2912475452 hasRelatedWork W2914467776 @default.
- W2912475452 hasRelatedWork W2914580254 @default.
- W2912475452 hasRelatedWork W2945826552 @default.
- W2912475452 hasRelatedWork W2953405819 @default.
- W2912475452 hasRelatedWork W32060046 @default.
- W2912475452 hasRelatedWork W1966256736 @default.
- W2912475452 isParatext "false" @default.
- W2912475452 isRetracted "false" @default.
- W2912475452 magId "2912475452" @default.
- W2912475452 workType "article" @default.