Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by CONOR MCBRIDE
Selected Papers From Dependently Typed Programming 2010 – Overview
Mathematical Structures in Computer Science
Mathematics
Computer Science Applications
Related publications
Dependently Typed Programming
Progress in Informatics
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
Selected Papers From ISEF-2013 Conference
International Journal of Applied Electromagnetics and Mechanics
Mechanics of Materials
Electronic Engineering
Condensed Matter Physics
Mechanical Engineering
Optical
Electrical
Magnetic Materials
Electronic
Editorial: Shifting From Technology-Enhanced Learning to Technology-Transformed Learning - Best Papers Selected From the Conference APTEL 2010
Knowledge Management and E-Learning
E-learning
Education
Management of Technology
Innovation
Selected Papers
Postgraduate Medical Journal
Medicine
Selected Papers
Journal of Agricultural & Applied Economics
Agricultural
Economics
Econometrics
Biological Sciences
Guest Editorial: Selected Papers From ICIMCS 2012
Multimedia Systems
Media Technology
Information Systems
Computer Networks
Hardware
Communications
Architecture
Software