Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
Dependent types in practical programming
Published in Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Get full text
Conference Proceeding
Relevant context inference
Published in Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Get full text
Conference Proceeding
Types for mobile ambients
Published in Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Get full text
Conference Proceeding
Quasi-linear types
Published in Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Get full text
Conference Proceeding
JFlow
Published in Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Get full text
Conference Proceeding