Recherche - INRIA - Institut National de Recherche en Informatique et en Automatique

2 résultats

	Pour les 2 documents Envoyer sur ORCID RSS ATOM Exporter BibTeX XML-TEI CSV RTF EndNote PDF HTML Export avancé	Page :	triés par Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante

		Tracking Data-Flow with Open Closure Types Gabriel Scherer , Jan Hoffmann [Research Report] RR-8345, INRIA. 2013, pp.24 Rapport hal-00851658v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Tracking Data-Flow with Open Closure Types Gabriel Scherer , Jan Hoffmann LPAR 2013 - 19th International Conference Logic for Programming, Artificial Intelligence, and Reasoning, Dec 2013, Stellenbosch, South Africa. pp.710-726 Communication dans un congrès hal-00911656v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More

Filtrer vos résultats