https://data.archives-ouvertes.fr/author/3104

https://data.archives-ouvertes.fr/author/3104

http://xmlns.com/foaf/0.1/topic_interest Occurrence typing
http://xmlns.com/foaf/0.1/topic_interest Func- tional constructs
http://xmlns.com/foaf/0.1/topic_interest Chromatic polynomial
http://xmlns.com/foaf/0.1/topic_interest Program analysis
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/sdv.mhep.geo
http://xmlns.com/foaf/0.1/familyName Nguyen
http://xmlns.com/foaf/0.1/topic_interest Type-case
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/sdv.sp
http://xmlns.com/foaf/0.1/topic_interest Language-integrated queries
http://xmlns.com/foaf/0.1/topic_interest Chordal graphs
http://xmlns.com/foaf/0.1/topic_interest Compilers
http://xmlns.com/foaf/0.1/topic_interest XPath
http://xmlns.com/foaf/0.1/topic_interest Functional languages
http://xmlns.com/foaf/0.1/topic_interest R
http://xmlns.com/foaf/0.1/topic_interest Databases
http://xmlns.com/foaf/0.1/topic_interest • Information systems → Query opera- tors
http://xmlns.com/foaf/0.1/topic_interest Tree automata
http://xmlns.com/foaf/0.1/topic_interest Data-centric languages
http://www.openarchives.org/ore/terms/isAggregatedBy https://data.archives-ouvertes.fr/author/kim-nguyen
http://xmlns.com/foaf/0.1/topic_interest Theory of computation
http://xmlns.com/foaf/0.1/topic_interest Type systems
http://xmlns.com/foaf/0.1/topic_interest Type constraints
http://xmlns.com/foaf/0.1/topic_interest Union types
http://xmlns.com/foaf/0.1/topic_interest KEYWORDS Language-integrated queries
http://xmlns.com/foaf/0.1/topic_interest Succinct data structures
http://xmlns.com/foaf/0.1/topic_interest Clique tree
http://xmlns.com/foaf/0.1/mbox_sha1sum 4679786ee375287bf42b54d4b057470a
http://xmlns.com/foaf/0.1/topic_interest Type case
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-pl
http://xmlns.com/foaf/0.1/topic_interest Minimal triangulation
http://xmlns.com/foaf/0.1/topic_interest Flow language
http://xmlns.com/foaf/0.1/topic_interest Types
http://xmlns.com/foaf/0.1/name Kim Nguyen
http://xmlns.com/foaf/0.1/topic_interest XML
http://xmlns.com/foaf/0.1/topic_interest CCS Concepts • Theory of computation → Type structures
http://xmlns.com/foaf/0.1/topic_interest Subtyping
http://xmlns.com/foaf/0.1/topic_interest Database query processing and optimization theory
http://xmlns.com/foaf/0.1/topic_interest Intersection types
http://xmlns.com/foaf/0.1/topic_interest Type structures
http://xmlns.com/foaf/0.1/topic_interest Dynamic languages
http://www.w3.org/2002/07/owl#sameAs 0000-0002-1729-870X
http://xmlns.com/foaf/0.1/topic_interest Polymorphism
http://xmlns.com/foaf/0.1/firstName Kim
http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://xmlns.com/foaf/0.1/Person
http://xmlns.com/foaf/0.1/topic_interest • Software and its engi- neering → Functional languages
http://xmlns.com/foaf/0.1/topic_interest Type reconstruction
http://www.w3.org/2002/07/owl#sameAs 127166106
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-wb
http://xmlns.com/foaf/0.1/topic_interest Gradual typing
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-fl
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-ds
http://xmlns.com/foaf/0.1/topic_interest TypeScript
http://xmlns.com/foaf/0.1/topic_interest CCS CONCEPTS • Theory of computation → Database query languages prin- ciples
http://xmlns.com/foaf/0.1/topic_interest Type inference
http://xmlns.com/foaf/0.1/topic_interest • Software and its engineering → Imperative languages
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-db
https://aurehal.archives-ouvertes.fr/author/3104

Télécharger au format  
RDF/XML Turtle N3 Json