24 citations · 52 across the 9 of their papers we have counts for
1 paper · 2 filters
Simone Martini
Types are an important part of any modern programming language, but we often forget that the concept of type we understand nowadays is not the same it was perceived in the sixties.…