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

Wrenn, John

  1. Dependently Typing R Vectors, Arrays, and Matrices
    2023/04/09 by John Wrenn, John H. Wrenn, Wrenn, John +6 · 1 voice
    Computer Science · Decision Sciences · #Code (set theory) #Computer science #Distributed and Parallel Computing Systems #Extension (predicate logic) #Functional programming #Generic programming #Haskell #Programmer #Programming language #Scientific Computing and Data Management #Simulation Techniques and Applications #Theoretical computer science #cs.PL