Proving properties of shared data structures application to functional programming.

Jacques Hagelstein

Published in: ACM Annual Conference (1982)

Keyphrases

data structure
functional programming