A framework for the recursive definition of data structures

Jean-Louis Giavitto. A framework for the recursive definition of data structures. In PPDP. pages 45-55, 2000. [doi]

Authors

Jean-Louis Giavitto

This author has not been identified. Look up 'Jean-Louis Giavitto' in Google