Typing control operators in the CPS hierarchy
Saved in:
| Published in | Proceedings of the 13th international ACM SIGPLAN symposium on Principles and practices of declarative programming |
|---|---|
| Format | Conference Proceeding |
| Language | English |
| Online Access | Get full text |
| DOI | 10.1145/2003476.2003498 |
Cover
| BookMark | eNotz89rwjAYxvEc3GG6nXfNP1B9k7RJcxxluoGgoDuHNzG1hZqUWJH-9-5HT194Dg985mQWYvCEvDFYMpYXKw4gciWXf9XlM8mOY9-GM3UxDCl2NPY-4RDTlbaBDo2n1f5Am_ZnTK4ZX8hTjd3Vv05dkO_1x7H6zLa7zVf1vs1QAB8yoXV-sggKHOaOM2dRSSm9K9FJqWrJtS0LUFhqBkxb51FhbeGEinPJCrEg8P97Cz2Od-w606f2gmk0DMyvxEwSM0nEAxgmQfY |
|---|---|
| ContentType | Conference Proceeding |
| DBID | ADTOC UNPAY |
| DOI | 10.1145/2003476.2003498 |
| DatabaseName | Unpaywall for CDI: Periodical Content Unpaywall |
| Database_xml | – sequence: 1 dbid: UNPAY name: Unpaywall url: https://proxy.k.utb.cz/login?url=https://unpaywall.org/ sourceTypes: Open Access Repository |
| DeliveryMethod | fulltext_linktorsrc |
| ExternalDocumentID | oai:HAL:hal-00903834v1 |
| GroupedDBID | ADTOC UNPAY |
| ID | FETCH-LOGICAL-a302t-3994dba070ca4c21cba7666ec8ac667f629b8507a891019bcea7afb0da7226153 |
| IEDL.DBID | UNPAY |
| IngestDate | Sun Oct 26 04:06:42 EDT 2025 |
| IsDoiOpenAccess | true |
| IsOpenAccess | true |
| IsPeerReviewed | false |
| IsScholarly | false |
| Language | English |
| License | other-oa |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-a302t-3994dba070ca4c21cba7666ec8ac667f629b8507a891019bcea7afb0da7226153 |
| OpenAccessLink | https://proxy.k.utb.cz/login?url=https://inria.hal.science/hal-00903834 |
| ParticipantIDs | unpaywall_primary_10_1145_2003476_2003498 |
| PublicationTitle | Proceedings of the 13th international ACM SIGPLAN symposium on Principles and practices of declarative programming |
| Score | 1.5027473 |
| SourceID | unpaywall |
| SourceType | Open Access Repository |
| Title | Typing control operators in the CPS hierarchy |
| URI | https://inria.hal.science/hal-00903834 |
| UnpaywallVersion | submittedVersion |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV3PS8MwFH7odhAvKk5UVHLw4iFb12ZJepThHIJjoIN5Ki9pguKoQztk_vW-dnGKF_HWQCHh5cf3JfneF4Bz7yPh09xyIxLkInG0DuZOcpVK9Ik3ytbXBbcjOZyIm2lvGgSydS5MQXFvPxLvDAjQoW8eVacJOhGb0JQ94twNaE5G48uH4NXTFb1OJbISqhYdJCLV27C1KOa4fMfZ7AdgDHbg-quqlU7kub0oTdt-_HJh_Lstu9D6Tspj4zXc7MGGK_aB0z6SSiwoztnL3NX35m_sqWDE7Vh_fMeq566r8bxswWRwdd8f8vACAsckiktO7EHkBmlaWhQ27lqDivYbzmq0Uiov49RoYnSoCfW7qbEOFXoT5aiIVtFidgCN4qVwh8ByLSvHgThy6AVqibZykkcf-0hqZfEILtYBy-Yrp4tslbXcy0JwsxDc43_8ewKN8nXhTgm6S3MW-u0T0WSafw |
| linkProvider | Unpaywall |
| linkToUnpaywall | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV3PS8MwFH7odhAvKk5UVHLw4iFb12ZJepThHIJjoIN5Ki9pguKoQztk_vW-dnGKF_HWQCHh5cf3JfneF4Bz7yPh09xyIxLkInG0DuZOcpVK9Ik3ytbXBbcjOZyIm2lvGgSydS5MQXFvPxLvDAjQoW8eVacJOhGb0JQ94twNaE5G48uH4NXTFb1OJbISqhYdJCLV27C1KOa4fMfZ7AdgDHbg-quqlU7kub0oTdt-_HJh_Lstu9D6Tspj4zXc7MGGK_aB0z6SSiwoztnL3NX35m_sqWDE7Vh_fMeq566r8bxswWRwdd8f8vACAsckiktO7EHkBmlaWhQ27lqDivYbzmq0Uiov49RoYnSoCfW7qbEOFXoT5aiIVtFidgCN4qVwh8ByLSvHgThy6AVqibZykkcf-0hqZfEILtYBy-Yrp4tslbXcy0JwsxDc43_8ewKN8nXhTgm6S3MW-u0T0WSafw |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=proceeding&rft.title=Proceedings+of+the+13th+international+ACM+SIGPLAN+symposium+on+Principles+and+practices+of+declarative+programming&rft.atitle=Typing+control+operators+in+the+CPS+hierarchy&rft_id=info:doi/10.1145%2F2003476.2003498&rft.externalDocID=oai%3AHAL%3Ahal-00903834v1 |