Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
Pure patterns type systems
Published in Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Get full text
Conference Proceeding