Articles with public access mandates - Jennifer PaykinLearn more
Available somewhere: 7
QWIRE: A Core Language for Quantum Circuits
J Paykin, R Rand, S Zdancewic
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming …, 2017
Mandates: US National Science Foundation, US Department of Defense
The Linearity Monad
J Paykin, S Zdancewic
Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, 117-132, 2017
Mandates: US National Science Foundation
A linear/producer/consumer model of classical linear logic
J Paykin, S Zdancewic
Mathematical Structures in Computer Science, 1-26, 2016
Mandates: US National Science Foundation
The essence of event-driven programming
J Paykin, NR Krishnaswami, S Zdancewic
Philadelphia, USA, 1-16, 2016
Mandates: US National Science Foundation
Differential Cohesive Type Theory
JA Gross, DR Licata, MS New, J Paykin, M Riley, M Shulman, F Wellen
Extended abstracts for the Workshop “Homotopy Type Theory and Univalent …, 2017
Mandates: US National Science Foundation
Formal Verification of Flow Equivalence in Desynchronized Designs
J Paykin, B Huffman, DM Zimmerman, PA Beerel
2020 26th IEEE International Symposium on Asynchronous Circuits and Systems …, 2020
Mandates: US Department of Defense
choose your own derivative
J Paykin, A Spector-Zabusky, K Foner
Proceedings of the 1st International Workshop on Type-Driven Development, 58-59, 2016
Mandates: US National Science Foundation
Publication and funding information is determined automatically by a computer program