Arrays and References in Resource Aware ML - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Benjamin Lichtman, Jan Hoffmann. Arrays and References in Resource Aware ML. In Dale Miller, editor, 2nd International Conference on Formal Structures for Computation and Deduction, FSCD 2017, September 3-9, 2017, Oxford, UK. Volume 84 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2017. [doi]

This author has not been identified. Look up 'Benjamin Lichtman' in GoogleThis author has not been identified. Look up 'Jan Hoffmann' in Google

runs on WebDSL