Dr. Lars Pareto

Phone: +46-70 5908 345 (cell); +46-304-322 16 (home)

My present affiliation is IT-university of Göteborg ..

I did my PhD in the functional programming group of the computing science department at Chalmers university of technology in Göteborg .

Publications

• Lars Pareto, "Types for Crash Prevention", PhD-thesis , abstract .
• Hughes, Pareto, Sabry;"Proving the Correctness of Reactive Systems Using Sized Types" in popl96 .
• Lars Pareto; "Sized Types" a dissertation for the licentiate degree in computing science.
• John Hughes and Lars Pareto; "Recursion and Dynamic Data-Structures in bounded space; Towards Embedded ML Programming"; presented at icfp99.