Vol-1988⫷ Vol-1989 ⫸Vol-1990
urn:nbn:de:0074-1989-0


Vol-1989/paper66⫷Vol-1989/paper41⫸Vol-1989/paper42
Maxim KrivchikovEvgeny Shulgin

Static checking of domain constraints in applications interacting with relational database by means of dependently-typed lambda calculus