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 条
  • [1] Foundations for structured programming with GADTs
    Johann, Patricia
    Ghani, Neil
    ACM SIGPLAN NOTICES, 2008, 43 (01) : 297 - 308
  • [2] ON STRUCTURED PROGRAMMING
    RENDON, CW
    BYTE, 1983, 8 (08): : 16 - &
  • [3] STRUCTURED PROGRAMMING
    ALI, L
    CHEMICAL ENGINEERING, 1988, 95 (14) : 111 - &
  • [4] STRUCTURED PROGRAMMING
    ROSS, WF
    COMPUTER, 1975, 8 (06) : 20 - 22
  • [5] STRUCTURED PROGRAMMING
    KAUFFMANN, K
    DR DOBBS JOURNAL, 1986, 11 (12): : 12 - 12
  • [6] STRUCTURED PROGRAMMING
    OTTO, R
    BUTLER, J
    INSTRUMENTS & CONTROL SYSTEMS, 1975, 48 (06): : 27 - 30
  • [7] STRUCTURED PROGRAMMING
    SHAMMAS, NC
    DR DOBBS JOURNAL, 1986, 11 (06): : 116 - &
  • [8] STRUCTURED PROGRAMMING
    DONALDSON, JR
    DATAMATION, 1973, 19 (12): : 52 - 54
  • [9] STRUCTURED PROGRAMMING
    GRUENBERGER, F
    DATAMATION, 1974, 20 (02): : 27 - 28
  • [10] STRUCTURED PROGRAMMING
    SMOLIAR, SW
    COMMUNICATIONS OF THE ACM, 1974, 17 (05) : 294 - 294
12345