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 条
  • [1] Security-Typed Programming within Dependently Typed Programming
    Morgenstern, Jamie
    Licata, Daniel R.
    [J]. ACM SIGPLAN NOTICES, 2010, 45 (09) : 169 - 180
  • [2] Security-Typed Programming within Dependently Typed Programming
    Morgenstern, Jamie
    Licata, Daniel R.
    [J]. ICFP 2010: PROCEEDINGS OF THE 2010 ACM SIGPLAN INTERNATIONAL CONFERENCE ON FUNCTIONAL PROGRAMMING, 2010, : 169 - 180
  • [3] Dependently typed programming
    Mu, Shin-Cheng
    Mcbride, Conor
    Weirich, Stephanie
    [J]. Progress in Informatics, 2013, (10): : 149 - 155
  • [4] Dependently Typed Programming with Singletons
    Eisenberg, Richard A.
    Weirich, Stephanie
    [J]. ACM SIGPLAN NOTICES, 2012, 47 (12) : 117 - 129
  • [5] Dependently Typed Programming Preface
    Altenkirch, Thorsten
    Uustalu, Tarmo
    [J]. FUNDAMENTA INFORMATICAE, 2010, 102 (02) : I - I
  • [6] Dependently Typed Programming in Agda
    Norell, Ulf
    [J]. ADVANCED FUNCTIONAL PROGRAMMING, 2009, 5832 : 230 - 266
  • [7] Automation for Dependently Typed Functional Programming
    Wilson, Sean
    Fleuriot, Jacques
    Smaill, Alan
    [J]. FUNDAMENTA INFORMATICAE, 2010, 102 (02) : 209 - 228
  • [8] Dependently-Typed Programming in GHC
    Weirich, Stephanie
    [J]. FUNCTIONAL AND LOGIC PROGRAMMING (FLOPS 2012), 2012, 7294 : 3 - 3
  • [9] Dependently-Typed Data Plane Programming
    Eichholz, Matthias
    Campbell, Eric Hayden
    Krebs, Matthias
    Foster, Nate
    Mezini, Mira
    [J]. PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2022, 6 (POPL):
  • [10] Propositional Equality for Gradual Dependently Typed Programming
    Eremondi, Joseph
    Garcia, Ronald
    Tanter, Eric
    [J]. PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2022, 6 (ICFP):
12345