Write a Blog >>
Mon 19 Jun 2017 15:00 - 15:30 at Vertex WS217 - Afternoon Session

Algebraic properties form a good basis for reasoning about programs, but reasoning is made harder by the presence of references and aliasing. Here we look at how ownership types may help in making code more amenable to algebraic reasoning.

Towards Reasonable Ownership (Paper.pdf)233KiB

Mon 19 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change