IMPACT SCORE JOURNAL RANKING CONFERENCE RANKING Conferences Journals Workshops Seminars SYMPOSIUMS MEETINGS BLOGS LaTeX 5G Tutorial Advertise
 
TyDe 2020 : 5th Workshop on Type-Driven Development
TyDe 2020 : 5th Workshop on Type-Driven Development

TyDe 2020 : 5th Workshop on Type-Driven Development

Online (co-located with ICFP 2020)
Event Date: August 23, 2020 - August 23, 2020
Abstract Submission Deadline: May 26, 2020
Submission Deadline: May 19, 2020
Notification of Acceptance: June 09, 2020
Camera Ready Version Due: June 30, 2020



About

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


Call for Papers

We welcome all contributions, both theoretical and practical, on a range of topics including:

  • dependently typed programming;
  • generic programming;
  • design and implementation of programming languages, exploiting types in novel ways;
  • exploiting typed data, data dependent data, or type providers;
  • static and dynamic analyses of typed programs;
  • tools, IDEs, or testing tools exploiting type information;
  • pearls, being elegant, instructive examples of types used in the derivation, calculation, or construction of programs.



Best Deals



Summary

TyDe 2020 : 5th Workshop on Type-Driven Development will take place in Online (co-located with ICFP 2020). It’s a 1 day event starting on Aug 23, 2020 (Sunday) and will be winded up on Aug 23, 2020 (Sunday).

TyDe 2020 falls under the following areas: PROGRAMMING LANGUAGES, FUNCTIONAL PROGRAMMING, GENERIC PROGRAMMING, etc. Submissions for this Workshop can be made by May 19, 2020. Authors can expect the result of submission by Jun 09, 2020. Upon acceptance, authors should submit the final version of the manuscript on or before Jun 30, 2020 to the official website of the Workshop.

Please check the official event website for possible changes before you make any travelling arrangements. Generally, events are strict with their deadlines. It is advisable to check the official website for all the deadlines.

Other Details of the TyDe 2020

  • Short Name: TyDe 2020
  • Full Name: 5th Workshop on Type-Driven Development
  • Timing: 09:00 AM-06:00 PM (expected)
  • Fees: Check the official website of TyDe 2020
  • Event Type: Workshop
  • Website Link: https://icfp20.sigplan.org/home/tyde-2020
  • Location/Address: Online (co-located with ICFP 2020)


Credits and Sources

[1] TyDe 2020 : 5th Workshop on Type-Driven Development


Check other Conferences, Workshops, Seminars, and Events


OTHER PROGRAMMING LANGUAGES EVENTS

IJFCST 2021: International Journal in Foundations of Computer Science & Technology

PLAS 2020: ACM SIGSAC 15th Workshop on Programming Languages and Analysis for Security
Orlando, USA
Nov 13, 2020
IJPLA 2020: International Journal of Programming Languages and Applications

DBPL 2020: 18th International Symposium on Database Programming Languages
Tokyo, Japan
Sep 04, 2020
ICE 2020: 13th Interaction and Concurrency Experience
University of Malta, Valletta
Jun 19, 2020
SHOW ALL

OTHER FUNCTIONAL PROGRAMMING EVENTS

AFDP 2021: Agile and Functional Data Pipelines
Warsaw
Mar 23, 2021
PADL 2021: 23rd International Symposium on Practical Aspects of Declarative Languages
Copenhagen, Denmark
Jan 18, 2021
IFL 2020: The 32nd Symposium on Implementation and Application of Functional Languages
Online
Sep 02, 2020
TFP 2020: Trends in Functional Programming Conference Series : Trends in Functional Programming  
Krakow, Poland
Feb 13, 2020
IFL 2019: The 31st symposium on Implementation and Application of Functional Languages Conference Series : Implementation and Application of Functional Languages  
Singapore
Sep 25, 2019
SHOW ALL