المؤلفون: Prinz, Jacob, Blanchette, Henry, Lampropoulos, Leonidas

مصطلحات موضوعية: Computer Science - Programming Languages

URL الوصول: http://arxiv.org/abs/2411.16571

المؤلفون: Cui, Guangiqi, Dickerson, John, Durvasula, Naveen, Gasarch, William, Metz, Erik, Prinz, Jacob, Raman, Naveen, Smolyak, Daniel, Yoo, Sung Hyun

مصطلحات موضوعية: Mathematics - Combinatorics, 05XX

URL الوصول: http://arxiv.org/abs/1709.02452

المؤلفون: Prinz, Jacob, Kavvos, G. A., Lampropoulos, Leonidas

المساهمون: Jacob Prinz and G. A. Kavvos and Leonidas Lampropoulos

مصطلحات موضوعية: type theory, shallow embedding, deep embedding, Agda

وصف الملف: application/pdf

Relation: Is Part Of LIPIcs, Volume 237, 13th International Conference on Interactive Theorem Proving (ITP 2022); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITP.2022.28

الاتاحة: https://doi.org/10.4230/LIPIcs.ITP.2022.28
https://nbn-resolving.org/urn:nbn:de:0030-drops-167379
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITP.2022.28

المؤلفون: Blanchette, Henry, Prinz, Jacob

المصدر: POPL, Principle of Programming Languages, Denver, 19-25 January 2025

Relation: https://doi.org/10.5281/zenodo.14199876; https://doi.org/10.5281/zenodo.14199877; oai:zenodo.org:14199877

الاتاحة: https://doi.org/10.5281/zenodo.14199877

المؤلفون: Cui, Guangqi, Dickerson, John, Durvasula, Naveen, Gasarch, William, Metz, Erik, Prinz, Jacob, Raman, Naveen, Smolyak, Daniel, Yoo, Sung Hyun

المساهمون: Guangqi Cui and John Dickerson and Naveen Durvasula and William Gasarch and Erik Metz and Jacob Prinz and Naveen Raman and Daniel Smolyak and Sung Hyun Yoo

مصطلحات موضوعية: Fair Division, Theorem Generation

وصف الملف: application/pdf

Relation: Is Part Of LIPIcs, Volume 100, 9th International Conference on Fun with Algorithms (FUN 2018); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FUN.2018.15

الاتاحة: https://doi.org/10.4230/LIPIcs.FUN.2018.15
https://nbn-resolving.org/urn:nbn:de:0030-drops-88062
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FUN.2018.15

المؤلفون: Prinz, Jacob, Lampropoulos, Leonidas

المساهمون: National Science Foundation

المصدر: Proceedings of the ACM on Programming Languages ; volume 7, issue PLDI, page 1759-1778 ; ISSN 2475-1421

الاتاحة: http://dx.doi.org/10.1145/3591292
https://dl.acm.org/doi/pdf/10.1145/3591292

المؤلفون: Jacob Prinz and G. A. Kavvos and Leonidas Lampropoulos, Prinz, Jacob, Kavvos, G. A., Lampropoulos, Leonidas

مصطلحات الفهرس: type theory, shallow embedding, deep embedding, Agda, InProceedings, Text, doc-type:ResearchArticle, publishedVersion

URL: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITP.2022.28
Is Part Of LIPIcs, Volume 237, 13th International Conference on Interactive Theorem Proving (ITP 2022)

المؤلفون: Gasarch, William, Huddleston, Scott, Metz, Erik, Prinz, Jacob

المصدر: ACM SIGACT News ; volume 50, issue 2, page 31-60 ; ISSN 0163-5700

الاتاحة: http://dx.doi.org/10.1145/3351452.3351462
https://dl.acm.org/doi/pdf/10.1145/3351452.3351462

المؤلفون: Gasarch, William, Huddleston, Scott, Metz, Erik, Prinz, Jacob

المصدر: ACM SIGACT News; July 2019, Vol. 50 Issue: 2 p31-60, 30p