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

Firsov, Denis

  1. Towards a Formal Foundation for Blockchain Rollups
    2024/06/23 by Chaliasos, Stefanos, Firsov, Denis, Livshits, Benjamin · 6 citations
    #Cryptography and Security (cs.CR) #FOS: Computer and information sciences
  2. Generic Zero-Cost Reuse for Dependent Types
    2018/03/21 by Diehl, Larry, Firsov, Denis, Stump, Aaron · 1 citation
    #FOS: Computer and information sciences #Programming Languages (cs.PL)