ResearchBib Share Your Research, Maximize Your Social Impacts
Sign for Notice Everyday Sign up >> Login

Main Menu

Searching By

PARTNERS

Contact us

TyDe 2018 - 2018 Type-Driven Development

Date2018-09-22 - 2018-09-28

Deadline2018-03-02

VenueSt. Louis, MO, USA - United States USA - United States

Keywords

Websitehttps://icfp18.sigplan.org/track/tyde-2018

Topics/Call fo Papers

The workshop on Type-Driven Development aims to show how static type information may be used effectively in the development of computer programs. The workshop brings together leading researchers and practitioners who are using or exploring types as a means of program development.

Other CFPs

  1. The ACM SIGPLAN Haskell Symposium 2018
  2. Cause-Related Marketing and Commercial Co-Venture Best Practices
  3. 16th SINGAPORE International Conference on “Advances in Agricultural, Environmental, Biological and Medical Sciences”
  4. 2018 8th International Conference on Environment Science and Biotechnology (ICESB 2018)
  5. 2018 6th International Conference on Agriculture and Biotechnology (ICABT 2018)

Last modified: 2018-04-26 10:11:48