Listar por Materia Lazy evaluation
Mostrando resultados 1 a 2 de 2
| Fecha de publicación | Título | Autor(es) |
|---|---|---|
| 2017 | Classical realizability and side-effects | Miquey, Étienne |
| 2015 | Reasoning about functional programs by combining interactive and automatic proofs | Sicard-Ramírez, Andrés |