Case of (Quite) Painless Dependently Typed Programming: Fully Certified Merge Sort in Agda
Volver al Detalle
2014
Citas: 2
Origen de Colaboraciones Internacionales
Colaboradores
| Nombre | Ubicación / País |
|---|---|
| Ernesto Copello | United States |
| Álvaro Tasistro | Uruguay |
| Bruno Bianchi | Brazil |