Shortcut fusion rules for the derivation of circular and higher-order monadic programs Artigo de Conferência uri icon

autores

  • João Alexandre Baptista Vieira Saraiva
  • Alberto Pardo
  • Fernandes, J.P.
  • Saraiva, J.

data de publicação

  • janeiro 1, 2009