Discover open access scientific publications

Search, annotate, share and cite publications

Publications by THORSTEN ALTENKIRCH

Selected Papers From Dependently Typed Programming 2010 – Overview

Mathematical Structures in Computer Science
MathematicsComputer Science Applications
2014English

Related publications

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