×
Edit Profile (opens in new tab)

Chevalier, Tim

Co-Author Distance
Author ID: chevalier.tim Recent zbMATH articles by "Chevalier, Tim"
Published as: Chevalier, Tim
Documents Indexed: 1 Publication since 2010
Co-Authors: 2 Co-Authors with 1 Joint Publication
29 Co-Co-Authors

Co-Authors

0 single-authored
1 McCreight, Andrew
1 Tolmach, Andrew

Serials

Fields

1 Computer science (68-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

1 Publications have been cited 7 times in 7 Documents Cited by ▼ Year ▼
A certified framework for compiling and executing garbage-collected languages. Zbl 1323.68136
McCreight, Andrew; Chevalier, Tim; Tolmach, Andrew
7
2010
A certified framework for compiling and executing garbage-collected languages. Zbl 1323.68136
McCreight, Andrew; Chevalier, Tim; Tolmach, Andrew
7
2010
all cited Publications top 5 cited Publications
all top 5

Cited by 25 Authors

3 Myreen, Magnus O.
2 Cachera, David
2 Demange, Delphine
2 Jagannathan, Suresh
2 Kumar, Ramana
2 Norrish, Michael
2 Owens, Scott
2 Petri, Gustavo
2 Pichardie, David
2 Vitek, Jan
2 Zakowski, Yannick
1 Amani, Sidney
1 Chen, Zilin
1 Davis, Jared
1 Dreyer, Derek R.
1 Fox, Anthony C. J.
1 Hur, Chung-Kil
1 Jackson, Vincent
1 Keller, Gabriele Cornelia
1 Klein, Gerwin
1 Murray, Toby
1 O’Connor, Liam
1 Rizkallah, Christine
1 Sewell, Thomas D.
1 Tan, Yong Kiam

Cited in 2 Serials

2 Journal of Functional Programming
1 Journal of Automated Reasoning

Cited in 2 Fields

7 Computer science (68-XX)
1 Mathematical logic and foundations (03-XX)

Citations by Year