Dunfield, R.
164  Ergebnisse:
Personensuche X
?
4

A genomic catalog of Earth's microbiomes:

Nayfach, S ; Roux, S ; Seshadri, R...
info:eu-repo/semantics/altIdentifier/wos/000588003500001.  , 2020
 
?
9

Sound and complete bidirectional typechecking for higher-ra..:

Dunfield, Jana ; Krishnaswami, Neelakantan R.
Proceedings of the ACM on Programming Languages.  3 (2019)  POPL - p. 1-28 , 2019
 
?
10

Greenhouse gas emissions from gradually-filled liquid dairy..:

Sokolov, V. ; VanderZaag, A. ; Habtewold, J....
Nutrient Cycling in Agroecosystems.  115 (2019)  3 - p. 455-467 , 2019
 
?
11

Sound and complete bidirectional typechecking for higher-ra..:

Dunfield, Jana ; Krishnaswami, Neelakantan R.
Proceedings of the ACM on Programming Languages.  3 (2019)  POPL - p. 1-28 , 2019
 
?
13

The Extent of Manure Removal from Storages and Its Impact o..:

Ngwabie, N. M. ; Gordon, R. J. ; VanderZaag, A....
Journal of Environmental Quality.  45 (2016)  6 - p. 2023-2029 , 2016
 
?
15

Complete and easy bidirectional typechecking for higher-ran..:

, In: Proceedings of the 18th ACM SIGPLAN international conference on Functional programming,
 
1-15