On Teaching Type Systems as Macros (Lightning Talk).

Youyou Cong Naoya Furudono Hidehiko Masuhara

Published in: Scheme@ICFP (2020)

Keyphrases

machine learning
distributed systems
neural network
expert systems
learning process
management system
learning systems
educational systems
data mining
information retrieval
knowledge based systems
complex systems
higher education
distance learning
methodological aspects