Generic programming within dependently typed programming

被引：0
|
作者：
Altenkirch, T [1 ]
McBride, C [1 ]
机构：
[1] Univ Nottingham, Sch Comp Sci & Informat Technol, Nottingham NG8 1BB, England
来源：
GENERIC PROGRAMMING | 2003年 / 115卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
We show how higher kinded generic programming can be represented faithfully within a dependently typed programming system. This development has been implemented using the OLEG system. The present work can be seen as evidence for our thesis that extensions of type systems can be done by programming within a dependently typed language, using data as codes for types.
引用
收藏
页码：1 / 20
页数：20
相关论文
共 50 条
  • [31] Live Functional Programming with Typed Holes
    Omar, Cyrus
    Voysey, Ian
    Chugh, Ravi
    Hammer, Matthew A.
    [J]. PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2019, 3 (POPL):
  • [32] Typed Syntactic Meta-programming
    Devriese, Dominique
    Piessens, Frank
    [J]. ACM SIGPLAN NOTICES, 2013, 48 (09) : 73 - 85
  • [33] Generic Programming in OCAML
    Balestrieri, Florent
    Mauny, Michel
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2018, (285): : 59 - 100
  • [34] Staging Generic Programming
    Yallop, Jeremy
    [J]. PEPM'16: PROCEEDINGS OF THE 2016 ACM SIGPLAN WORKSHOP ON PARTIAL EVALUATION AND PROGRAM MANIPULATION, 2016, : 85 - 96
  • [35] Generic programming, now!
    Hinze, Ralf
    Loeh, Andres
    [J]. DATATYPE-GENERIC PROGRAMMING, 2007, 4719 : 150 - 208
  • [36] Generic programming in Ωmega
    Sheard, Tim
    [J]. DATATYPE-GENERIC PROGRAMMING, 2007, 4719 : 258 - 284
  • [37] Fundamentals of generic programming
    Dehnert, JC
    Stepanov, A
    [J]. GENERIC PROGRAMMING, 2000, 1766 : 1 - 11
  • [38] Staged generic programming
    Yallop J.
    [J]. Yallop, Jeremy, 1600, Association for Computing Machinery (01):
  • [39] Generic programming - An introduction
    Backhouse, R
    Jansson, P
    Jeuring, J
    Meertens, L
    [J]. ADVANCED FUNCTIONAL PROGRAMMING, 1999, 1608 : 28 - 115
  • [40] Generic Component: A Generic Programming Approach
    Chen Yewang
    Jiang Zhixiong
    Zhao Wenyun
    Peng Xin
    [J]. 2007 CIT: 7TH IEEE INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION TECHNOLOGY, PROCEEDINGS, 2007, : 87 - 92
12345