Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Pritam Choudhury
A Role for Dependent Types in Haskell
Proceedings of the ACM on Programming Languages
Related publications
Refinement Types for Haskell
ACM SIGPLAN Notices
Computer Science
Transforming Haskell for Tracing
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Combinators for Message-Passing in Haskell
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Pattern Logic for Prompt Lazy Assertions in Haskell
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Approximate Normalization for Gradual Dependent Types
Proceedings of the ACM on Programming Languages
Runtime Support for Multicore Haskell
ACM SIGPLAN Notices
Computer Science
A Classical Sequent Calculus With Dependent Types
ACM Transactions on Programming Languages and Systems
Software
Linear Dependent Types in a Call-By-Value Scenario
Revisiting Software Transactional Memory in Haskell
ACM SIGPLAN Notices
Computer Science
