TyDe 2021: Proceedings of the 6th ACM SIGPLAN International Workshop on Type-Driven Development, Virtual Event, Korea, 22 August 2021

Published in: TyDe@ICFP (2021)

Keyphrases

event detection
international workshop
domain driven data mining
acm sigkdd
lecture notes in artificial intelligence
selected papers
pacific rim
revised selected papers
virtual environment
augmented reality
recent advances
artificial intelligence
expert systems