Typing the Evolution of Variational Software

Authors

João Costa Seco, Jácome Cunha,