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

Giovannini, Eric

  1. Denotational Semantics of Gradual Typing using Synthetic Guarded Domain Theory (Extended Version)
    2024/11/19 by Eric Giovannini, Giovannini, Eric, Tingting Ding +3 · 1 citation
    Computer Science · #FOS: Computer and information sciences #Natural Language Processing Techniques #Programming Languages (cs.PL) #Semantic Web and Ontologies