Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Conor MCBRIDE
Dependently Typed Programming
Progress in Informatics
Related publications
Selected Papers From Dependently Typed Programming 2010 – Overview
Mathematical Structures in Computer Science
Mathematics
Computer Science Applications
Cubical Agda: A Dependently Typed Programming Language With Univalence and Higher Inductive Types
Proceedings of the ACM on Programming Languages
Dependently Typed Haskell in Industry (Experience Report)
Proceedings of the ACM on Programming Languages
A Logical Framework With Dependently Typed Records
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Fast Type Reconstruction for Dynamically Typed Programming Languages
"May You Have a Strong (-Typed) Foundation" Why Strong-Typed Programming Languages Do Matter
Search-Based Test Case Generation for Object-Oriented Java Software Using Strongly-Typed Genetic Programming
Typed Regions
Intrinsically-Typed Definitional Interpreters for Linear, Session-Typed Languages