Tim Chevalier

According to our database, Tim Chevalier authored at least 1 paper in 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2010

A certified framework for compiling and executing garbage-collected languages.

Andrew McCreight, Tim Chevalier, Andrew P. Tolmach

Proceedings of the Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, 2010