Delta lenses over inductive types Artigo de Conferência uri icon

autores

  • Hugo Pacheco
  • Cunha, Alcino
  • Manuel Alcino Pereira da Cunha
  • Hu, Z

data de publicação

  • janeiro 1, 2012