O'Neill, Melissa Elizabeth

A data structure for more efficient runtime support of truly functional arrays

Version stamps for functional arrays and determinacy checking : two applications of ordered lists for advanced programming languages