BT

Disseminando conhecimento e inovação em desenvolvimento de software corporativo.

Contribuir

Tópicos

Escolha a região

Profile picture

Zvonimir Pavlinovic

Perfil criado em 17 abr, 2015

Resumo

Todas as Atividades

  • Finding Minimum Type Error Sources

    The presenters discuss a framework for automatic localization of minimum type errors, demonstratively implemented for Hindley-Milner type systems and evaluated against OCaml benchmarks.

    Finding Minimum Type Error Sources

Apresentações

BT