vix.ing · top · new · best · stats · spec

Zdancewic, Steve

  1. Opportunistically Parallel Lambda Calculus
    2024/05/18 by Mell, Stephen, Kallas, Konstantinos, Zdancewic, Steve +1 · 3 citations
    #FOS: Computer and information sciences #Programming Languages (cs.PL)
  2. Verifying Fault-Tolerance of Quantum Error Correction Codes
    2025/01/24 by Chen, Kean, Liu, Yuhao, Fang, Wang +5 · 2 citations
    #FOS: Physical sciences #Quantum Physics (quant-ph)