Foundations for Structured Programming with GADTs

被引:30
|
作者
Johann, Patricia [1 ]
Ghani, Neil [1 ]
机构
[1] Rutgers State Univ, Camden, NJ 08102 USA
来源
POPL'08: PROCEEDINGS OF THE 35TH ANNUAL ACM SIGPLAN-SIGACT SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES | 2008年
关键词
D O I
10.1145/1328438.1328475
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
引用
收藏
页码:297 / +
页数:2
相关论文
共 50 条
  • [41] (Deep) Induction Rules for GADTs
    Johann, Patricia
    Ghiorzi, Enrico
    PROCEEDINGS OF THE 11TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS (CPP '22), 2022, : 324 - 337
  • [42] Foundations of programming:: a teaching improvement
    Belmonte, MV
    Cotta, C
    Fernández, AJ
    Gómez, I
    Pastrana, JL
    Pedreira, JA
    Rus, F
    Soler, E
    COMPUTERS AND EDUCATION: TOWARDS AN INTERCONNECTED SOCIETY, 2001, : 81 - 91
  • [43] Logical foundations for programming semantics
    Gilmore, Paul C., 1600, (111): : 1 - 2
  • [44] Linear programming: Foundations and extensions
    Daniel, RC
    JOURNAL OF THE OPERATIONAL RESEARCH SOCIETY, 1998, 49 (01) : 94 - 94
  • [45] FOUNDATIONS OF COMPOSITION PROGRAMMING.
    Red'ko, V.N.
    Programming and Computer Software (English Translation of Programmirovanie), 1979, 5 (03): : 151 - 158
  • [46] SEMANTIC-FOUNDATIONS OF PROGRAMMING
    ERSHOV, YL
    GONCHAROV, SS
    SVIRIDENKO, DI
    LECTURE NOTES IN COMPUTER SCIENCE, 1987, 278 : 116 - 122
  • [47] SCIENTIFIC FOUNDATIONS OF CONCLUSIVE PROGRAMMING
    ERSHOV, AP
    VESTNIK AKADEMII NAUK SSSR, 1984, (10) : 9 - 19
  • [48] Programming language foundations in Agda
    Kokke, Wen
    Siek, Jeremy G.
    Wadler, Philip
    SCIENCE OF COMPUTER PROGRAMMING, 2020, 194
  • [49] FOUNDATIONS OF PROGRAMMING - ARSAC,J
    AXFORD, T
    BEHAVIOUR & INFORMATION TECHNOLOGY, 1988, 7 (01) : 101 - 102
  • [50] Shaping the Foundations of Programming Languages
    Hoffmann, Leah
    COMMUNICATIONS OF THE ACM, 2021, 64 (06) : 120 - +