Dependently Typed Programming

Progress in Informatics
doi 10.2201/niipi.2013.10.8
Full Text
Abstract

Available in full text

Date
Authors
Publisher

National Institute of Informatics (NII)

Related search

Selected Papers From Dependently Typed Programming 2010 – Overview

Mathematical Structures in Computer Science
MathematicsComputer Science Applications
2014English

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

Fast Type Reconstruction for Dynamically Typed Programming Languages

2009English

"May You Have a Strong (-Typed) Foundation" Why Strong-Typed Programming Languages Do Matter

2004English

Search-Based Test Case Generation for Object-Oriented Java Software Using Strongly-Typed Genetic Programming

2008English

Typed Regions

2005English

Intrinsically-Typed Definitional Interpreters for Linear, Session-Typed Languages

2020English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy