Dependent types in practical programming
Saved in:
| Published in | Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages |
|---|---|
| Format | Conference Proceeding |
| Language | English |
| Online Access | Get full text |
| DOI | 10.1145/292540.292560 |
Cover
| BookMark | eNotzz1vwjAUhWEP7dDSjuwZuyRcf-QmHisKLRISS5ktO75GkRJjhVRV_j2gML1nOtLzyp7iORJjSw4F56pcCS1KBcU9CC_s44sSRU9xzMYp0SVrY5YG24xtY7vbOp8G2_dtPL2x52C7C70_umDH7eZ3_ZPvD9-79ec-t0JWkGMjUJeVJOV9QK-xcpWvay587R0SR-UwAKcgyWmNoGsUznMN2oFAFeSCFfPvX0x2-rddZ9LQ9naYDAdzJ5iZYGaCvAK9OT8r |
|---|---|
| ContentType | Conference Proceeding |
| DBID | ADTOC UNPAY |
| DOI | 10.1145/292540.292560 |
| 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 | 10.1145/292540.292560 |
| GroupedDBID | ADTOC UNPAY |
| ID | FETCH-LOGICAL-a2370-6c269573e4ddf6d967b7d8812d8db6e164b6f01ef3eb99609862bd1909b0264f3 |
| IEDL.DBID | UNPAY |
| IngestDate | Thu Aug 28 10:52:44 EDT 2025 |
| IsDoiOpenAccess | true |
| IsOpenAccess | true |
| IsPeerReviewed | false |
| IsScholarly | false |
| Language | English |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-a2370-6c269573e4ddf6d967b7d8812d8db6e164b6f01ef3eb99609862bd1909b0264f3 |
| OpenAccessLink | https://proxy.k.utb.cz/login?url=https://dl.acm.org/doi/pdf/10.1145/292540.292560 |
| ParticipantIDs | unpaywall_primary_10_1145_292540_292560 |
| PublicationTitle | Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages |
| Score | 1.6824083 |
| SourceID | unpaywall |
| SourceType | Open Access Repository |
| Title | Dependent types in practical programming |
| URI | https://dl.acm.org/doi/pdf/10.1145/292540.292560 |
| UnpaywallVersion | publishedVersion |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlZ3PS8MwFMcfozuIFxUnKio9CHpp7c80PYo6huCYYGGeStOXgNjVMltE_3pf1nbKTnrq5dEmDc23n-S9bwDOBUOPc4mWy3KmV6uUxWkutmioQ-kqL8KV7eLDlE2S4H4ezgfg9LUwWNB9FqstfP1NV6g6Q9vwyosJZhxbXxhB-pDpLSUDhsl0dv3c22duxm3DVlNW2edHVhS_hGO8A4_9I9t8kVe7qYWdf224Mf6nTbsw-inTM2drAdqDgSz34fK2O9a2NvXy6rv5UppdKVRWmF061oLiR5CM755uJlZ3HIKVeX5EkJd7LA4jXwaIimHMIhEhJ4FGjoJJ4h7BlONK5UuhPVdighWBJPixINAKlH8ARvlWykOdzxQgcQfPfSQ0VjkxRi4z-lWRSvDYkUdwsX5radXaXqRtCXOYtn1O2z4f_znyBIx62chT0vBanHXD9g22h5kJ |
| linkProvider | Unpaywall |
| linkToUnpaywall | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlZ3PS8MwFMcfozuIFxUnKio9CHpp7c80PYo6huCYYGGeStOXgNjVMltE_3pf1nbKTnrq5dEmDc23n-S9bwDOBUOPc4mWy3KmV6uUxWkutmioQ-kqL8KV7eLDlE2S4H4ezgfg9LUwWNB9FqstfP1NV6g6Q9vwyosJZhxbXxhB-pDpLSUDhsl0dv3c22duxm3DVlNW2edHVhS_hGO8A4_9I9t8kVe7qYWdf224Mf6nTbsw-inTM2drAdqDgSz34fK2O9a2NvXy6rv5UppdKVRWmF061oLiR5CM755uJlZ3HIKVeX5EkJd7LA4jXwaIimHMIhEhJ4FGjoJJ4h7BlONK5UuhPVdighWBJPixINAKlH8ARvlWykOdzxQgcQfPfSQ0VjkxRi4z-lWRSvDYkUdwsX5radXaXqRtCXOYtn1O2z4f_znyBIx62chT0vBanHXD9g22h5kJ |
| 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+26th+ACM+SIGPLAN-SIGACT+symposium+on+Principles+of+programming+languages&rft.atitle=Dependent+types+in+practical+programming&rft_id=info:doi/10.1145%2F292540.292560&rft.externalDocID=10.1145%2F292540.292560 |