Selected Papers From Dependently Typed Programming 2010 – Overview

Mathematical Structures in Computer Science - United Kingdom
doi 10.1017/s0960129514000097
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Cambridge University Press (CUP)

Related search

Dependently Typed Programming

Progress in Informatics
2013English

Cubical Agda: A Dependently Typed Programming Language With Univalence and Higher Inductive Types

Proceedings of the ACM on Programming Languages
2019English

Dependently Typed Haskell in Industry (Experience Report)

Proceedings of the ACM on Programming Languages
2019English

A Logical Framework With Dependently Typed Records

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2003English

Selected Papers From ISEF-2013 Conference

International Journal of Applied Electromagnetics and Mechanics
Mechanics of MaterialsElectronic EngineeringCondensed Matter PhysicsMechanical EngineeringOpticalElectricalMagnetic MaterialsElectronic
2014English

Editorial: Shifting From Technology-Enhanced Learning to Technology-Transformed Learning - Best Papers Selected From the Conference APTEL 2010

Knowledge Management and E-Learning
E-learningEducationManagement of TechnologyInnovation
2011English

Selected Papers

Postgraduate Medical Journal
Medicine
1963English

Selected Papers

Journal of Agricultural & Applied Economics
AgriculturalEconomicsEconometricsBiological Sciences
1987English

Guest Editorial: Selected Papers From ICIMCS 2012

Multimedia Systems
Media TechnologyInformation SystemsComputer NetworksHardwareCommunicationsArchitectureSoftware
2015English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy