Sciweavers

39 search results - page 1 / 8
» mpc 2010
Sort
View
MPC
2010
Springer
164views Mathematics» more  MPC 2010»
15 years 2 months ago
On Automated Program Construction and Verification
Rudolf Berghammer, Georg Struth
MPC
2010
Springer
165views Mathematics» more  MPC 2010»
15 years 1 months ago
Generic Point-free Lenses
Hugo Pacheco, Alcino Cunha