Filtrer vos résultats
- 2
- 1
- 1
- 1
- 2
- 2
- 2
- 2
- 2
- 2
- 2
2 résultats
|
|
triés par
|
|
Tracking Data-Flow with Open Closure Types[Research Report] RR-8345, INRIA. 2013, pp.24
Rapport
hal-00851658v1
|
||
|
Tracking Data-Flow with Open Closure TypesLPAR 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
|