par Van de Bussche, Jan;Vansummeren, Stijn
Référence ACM transactions on computational logic, 9, 1, article 3
Publication Publié, 2007
Article révisé par les pairs
Titre:
  • Polymorphic type inference for the named nested relational calculus
Auteur:Van de Bussche, Jan; Vansummeren, Stijn
Informations sur la publication:ACM transactions on computational logic, 9, 1, article 3
Statut de publication:Publié, 2007
Sujet CREF:Informatique mathématique
Informatique générale
Langue:Anglais
Identificateurs:urn:issn:1529-3785