Matches in SemOpenAlex for { <https://semopenalex.org/work/W2187307536> ?p ?o ?g. }
- W2187307536 abstract "It is a well known fact that there is a correspondence between propositions and type, and similarly a correspondence between a proof of a proposition and a program of a type; this is the Curry-Howard correspondence. In this talk I will describe a program, Djinn, which takes a Haskell type and produces a program of that type, using the Curry-Howard correspondence. For the subset of Haskell types that Djinn can handle (no recursive types) it does quite well. For instance, it can derive the code for all the standard monads in Haskell, including continuations and call/cc." @default.
- W2187307536 created "2016-06-24" @default.
- W2187307536 creator A5019555003 @default.
- W2187307536 creator A5027156356 @default.
- W2187307536 creator A5078000796 @default.
- W2187307536 date "2009-01-01" @default.
- W2187307536 modified "2023-09-27" @default.
- W2187307536 title "AAIP 2009 Proceedings of the ACM SIGPLAN Workshop on Approaches and Applications of Inductive Programming" @default.
- W2187307536 cites W119944997 @default.
- W2187307536 cites W125449628 @default.
- W2187307536 cites W126267692 @default.
- W2187307536 cites W131977597 @default.
- W2187307536 cites W140943437 @default.
- W2187307536 cites W145759139 @default.
- W2187307536 cites W146411600 @default.
- W2187307536 cites W1486917952 @default.
- W2187307536 cites W1487717359 @default.
- W2187307536 cites W1488750823 @default.
- W2187307536 cites W1495420370 @default.
- W2187307536 cites W1497011154 @default.
- W2187307536 cites W1505758490 @default.
- W2187307536 cites W1506833497 @default.
- W2187307536 cites W1507155521 @default.
- W2187307536 cites W1508259349 @default.
- W2187307536 cites W1512978234 @default.
- W2187307536 cites W1514468887 @default.
- W2187307536 cites W1516728315 @default.
- W2187307536 cites W1519498387 @default.
- W2187307536 cites W1531743498 @default.
- W2187307536 cites W1532428700 @default.
- W2187307536 cites W1537900672 @default.
- W2187307536 cites W1539298593 @default.
- W2187307536 cites W1544721898 @default.
- W2187307536 cites W1549523006 @default.
- W2187307536 cites W1556536463 @default.
- W2187307536 cites W1557360661 @default.
- W2187307536 cites W1562138751 @default.
- W2187307536 cites W1565236324 @default.
- W2187307536 cites W1576818901 @default.
- W2187307536 cites W1583199978 @default.
- W2187307536 cites W1587321304 @default.
- W2187307536 cites W1587553526 @default.
- W2187307536 cites W1588551591 @default.
- W2187307536 cites W1601768747 @default.
- W2187307536 cites W1605162826 @default.
- W2187307536 cites W1609270914 @default.
- W2187307536 cites W1647671624 @default.
- W2187307536 cites W1649645444 @default.
- W2187307536 cites W173103217 @default.
- W2187307536 cites W1751016442 @default.
- W2187307536 cites W1792716628 @default.
- W2187307536 cites W1827112781 @default.
- W2187307536 cites W1854388022 @default.
- W2187307536 cites W189946722 @default.
- W2187307536 cites W1947395352 @default.
- W2187307536 cites W1961222213 @default.
- W2187307536 cites W1964211642 @default.
- W2187307536 cites W1979314434 @default.
- W2187307536 cites W1979982425 @default.
- W2187307536 cites W1984514567 @default.
- W2187307536 cites W1990195720 @default.
- W2187307536 cites W1997404989 @default.
- W2187307536 cites W2022879002 @default.
- W2187307536 cites W2025127488 @default.
- W2187307536 cites W2033906329 @default.
- W2187307536 cites W2037984920 @default.
- W2187307536 cites W2042587746 @default.
- W2187307536 cites W2051793989 @default.
- W2187307536 cites W2055289715 @default.
- W2187307536 cites W2076242896 @default.
- W2187307536 cites W2082657468 @default.
- W2187307536 cites W2093896470 @default.
- W2187307536 cites W2116813111 @default.
- W2187307536 cites W2119717320 @default.
- W2187307536 cites W2119831128 @default.
- W2187307536 cites W2128192154 @default.
- W2187307536 cites W2131739376 @default.
- W2187307536 cites W2137262074 @default.
- W2187307536 cites W2140647971 @default.
- W2187307536 cites W2144936864 @default.
- W2187307536 cites W2153618117 @default.
- W2187307536 cites W2168520133 @default.
- W2187307536 cites W2169192812 @default.
- W2187307536 cites W2176204318 @default.
- W2187307536 cites W2177385836 @default.
- W2187307536 cites W2186576307 @default.
- W2187307536 cites W2272700913 @default.
- W2187307536 cites W23164534 @default.
- W2187307536 cites W2397762905 @default.
- W2187307536 cites W2398661275 @default.
- W2187307536 cites W2480046510 @default.
- W2187307536 cites W2551387848 @default.
- W2187307536 cites W2610663362 @default.
- W2187307536 cites W28171789 @default.
- W2187307536 cites W2913378306 @default.
- W2187307536 cites W3004062484 @default.
- W2187307536 cites W3023540311 @default.
- W2187307536 cites W3145128584 @default.
- W2187307536 cites W3148481862 @default.
- W2187307536 cites W3170637536 @default.