A Concurrent, Generational Garbage Collector for a Multithreaded Implementation of ML.

Damien Doligez Xavier Leroy

Published in: POPL (1993)

Keyphrases

computer vision
efficient implementation
implementation details
maximum likelihood
mutual exclusion
machine learning
genetic algorithm