https://data.archives-ouvertes.fr/author/880335
| http://xmlns.com/foaf/0.1/interest | https://data.archives-ouvertes.fr/subject/info.info-lo |
| http://xmlns.com/foaf/0.1/mbox_sha1sum | f22c80c6908a4dc5091eb677d098f1f3 |
| http://xmlns.com/foaf/0.1/topic_interest | Memory management |
| http://www.w3.org/1999/02/22-rdf-syntax-ns#type | http://xmlns.com/foaf/0.1/Person |
| http://xmlns.com/foaf/0.1/firstName | Javier |
| http://xmlns.com/foaf/0.1/interest | https://data.archives-ouvertes.fr/subject/info.info-se |
| http://xmlns.com/foaf/0.1/topic_interest | Proof assistants |
| http://xmlns.com/foaf/0.1/familyName | de Dios |
| http://xmlns.com/foaf/0.1/topic_interest | Type-based analysis |
| http://xmlns.com/foaf/0.1/topic_interest | Formal certificates |
| http://xmlns.com/foaf/0.1/name | Javier de Dios |
