Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Jeremy G. Siek
Big Types in Little Runtime: Open-World Soundness and Collaborative Blame for Gradual Type Systems
ACM SIGPLAN Notices
Computer Science
Theorems for Free for Free: Parametricity, With and Without Types
Proceedings of the ACM on Programming Languages
Measuring Enforcement Windows With Symbolic Trace Interpretation: What Well-Behaved Programs Say
Related publications
On-Demand Generation and Characterization of a Microwave Time-Bin Qubit
npj Quantum Information
Nonlinear Physics
Computer Networks
Communications
Computer Science
Statistical
Mathematics
Computational Theory
Hierarchical Quantum Classifiers
npj Quantum Information
Nonlinear Physics
Computer Networks
Communications
Computer Science
Statistical
Mathematics
Computational Theory
Direct Observation of Broadband Nonclassical States in a Room-Temperature Light–matter Interface
npj Quantum Information
Nonlinear Physics
Computer Networks
Communications
Computer Science
Statistical
Mathematics
Computational Theory
Learning Hard Quantum Distributions With Variational Autoencoders
npj Quantum Information
Nonlinear Physics
Computer Networks
Communications
Computer Science
Statistical
Mathematics
Computational Theory
Observation of Topological Uhlmann Phases With Superconducting Qubits
npj Quantum Information
Nonlinear Physics
Computer Networks
Communications
Computer Science
Statistical
Mathematics
Computational Theory
Engineering the Quantum-Classical Interface of Solid-State Qubits
npj Quantum Information
Nonlinear Physics
Computer Networks
Communications
Computer Science
Statistical
Mathematics
Computational Theory
Quantum Annealing Versus Classical Machine Learning Applied to a Simplified Computational Biology Problem
npj Quantum Information
Nonlinear Physics
Computer Networks
Communications
Computer Science
Statistical
Mathematics
Computational Theory
Coherent Control of Solid State Nuclear Spin Nano-Ensembles
npj Quantum Information
Nonlinear Physics
Computer Networks
Communications
Computer Science
Statistical
Mathematics
Computational Theory
A Universal, Plug-And-Play Synchronisation Scheme for Practical Quantum Networks
npj Quantum Information
Nonlinear Physics
Computer Networks
Communications
Computer Science
Statistical
Mathematics
Computational Theory
Observable Quantum Entanglement Due to Gravity
npj Quantum Information
Nonlinear Physics
Computer Networks
Communications
Computer Science
Statistical
Mathematics
Computational Theory