External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

ICE-Based Refinement Type Discovery for Higher-Order Functional Programs

Adrien Champion, Tomoya Chiba, Naoki Kobayashi 0001, Ryosuke Sato. ICE-Based Refinement Type Discovery for Higher-Order Functional Programs. In Dirk Beyer 0001, Marieke Huisman, editors, Tools and Algorithms for the Construction and Analysis of Systems - 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I. Volume 10805 of Lecture Notes in Computer Science, pages 365-384, Springer, 2018. [doi]

Authors

Adrien Champion

This author has not been identified. Look up 'Adrien Champion' in Google

Tomoya Chiba

This author has not been identified. Look up 'Tomoya Chiba' in Google

Naoki Kobayashi 0001

This author has not been identified. Look up 'Naoki Kobayashi 0001' in Google

Ryosuke Sato

This author has not been identified. Look up 'Ryosuke Sato' in Google
runs on