Intersection types and computational effects
ICFP '00 Proceedings of the fifth ACM SIGPLAN international conference on Functional programming
Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Journal of Functional Programming
ACM SIGPLAN Notices
Proceedings of the 2005 ACM SIGPLAN workshop on Haskell
Type-level Computation Using Narrowing in Ωmega
Electronic Notes in Theoretical Computer Science (ENTCS)
Central European Functional Programming School
Static contract checking for Haskell
Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
SSDGP'06 Proceedings of the 2006 international conference on Datatype-generic programming
Hi-index | 0.00 |