1st Workshop on Type-Driven Development (TyDe ‘16) (Event)

  • James Chapman (Chair)
  • Wouter Swierstra (Chair)

Activity: Membership typesMembership of committee

Period18 Sep 2016
Event title1st Workshop on Type-Driven Development (TyDe ‘16)
Event typeWorkshop
LocationNara, Japan