Dependently Typed Programming in Agda

被引：0
作者：
Norell, Ulf [1 ]
机构：
[1] Chalmers, S-41296 Gothenburg, Sweden
来源：
ADVANCED FUNCTIONAL PROGRAMMING | 2009年 / 5832卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：230 / 266
页数：37
相关论文
共 50 条
  • [21] Selected papers from Dependently Typed Programming 2010-Overview
    Altenkirch, Thorsten
    Mcbride, Conor
    [J]. MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2016, 26 (01) : 1 - 2
  • [22] Steel: Proof-Oriented Programming in a Dependently Typed Concurrent Separation Logic
    Fromherz, Aymeric
    Rastogi, Aseem
    Swamy, Nikhil
    Gibson, Sydney
    Martinez, Guido
    Merigoux, Denis
    Ramananandro, Tahina
    [J]. PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2021, 5
  • [23] A Tutorial Introduction to Quantum Circuit Programming in Dependently Typed Proto-Quipper
    Fu, Peng
    Kishida, Kohei
    Ross, Neil J.
    Selinger, Peter
    [J]. REVERSIBLE COMPUTATION (RC 2020), 2020, 12227 : 153 - 168
  • [24] Idris, a general-purpose dependently typed programming language: Design and implementation
    Brady, Edwin
    [J]. JOURNAL OF FUNCTIONAL PROGRAMMING, 2013, 23 (05) : 552 - 593
  • [25] Tic Tac Types A Gentle Introduction to Dependently Typed Programming (Functional Pearl)
    Innes, Sean
    Wu, Nicolas
    [J]. TYDE '19: PROCEEDINGS OF THE 4TH ACM SIGPLAN INTERNATIONAL WORKSHOP ON TYPE-DRIVEN DEVELOPMENT, 2019, : 40 - 51
  • [26] REALIZING THE DEPENDENTLY TYPED λ-CALCULUS
    Snow, Zachary
    [J]. TECHNICAL COMMUNICATIONS OF THE 26TH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING (ICLP'10), 2010, 7 : 294 - 299
  • [27] A dependently typed ambient calculus
    Lhoussaine, C
    Sassone, V
    [J]. PROGRAMMING LANGUAGES AND SYSTEMS, 2004, 2986 : 171 - 187
  • [28] A dependently typed assembly language
    Xi, HW
    Harper, R
    [J]. ACM SIGPLAN NOTICES, 2001, 36 (10) : 169 - 180
  • [29] Dependently-Typed Formalisation of Typed Term Graphs
    Kahl, Wolfram
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2011, (48): : 38 - 53
  • [30] Dependently typed pattern matching
    Xi, HW
    [J]. JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2003, 9 (08) : 851 - 872
12345