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 条

[31] Structured programming in Java
Sch. of Comp. and Math. Sciences, Oxford Brookes University, Gipsy Lane, Headington, Oxford OX3 0BP, United Kingdom
SIGPLAN Not, 1600, 4 (40-43):
[32] STRUCTURED PROGRAMMING IN COBOL
ROSE, LA
COMMUNICATIONS OF THE ACM, 1977, 20 (06) : 445 - 445
[33] STRUCTURED PROGRAMMING IN BASIC
WORLAND, PB
DATAMATION, 1977, 23 (06): : 149 - &
[34] STRUCTURED PROGRAMMING IN COBOL
MIZE, JL
DATAMATION, 1976, 22 (06): : 103 - &
[35] STRUCTURED PROGRAMMING WITH C
MARIAM, L
CHEMICAL ENGINEERING, 1986, 93 (19) : 79 - 81
[36] STRUCTURED PROGRAMMING IN BASIC
SOBELL, M
BYTE, 1982, 7 (01): : 410 - 415
[37] INTRODUCTION TO STRUCTURED PROGRAMMING
HUNT, KP
BEHAVIOR RESEARCH METHODS & INSTRUMENTATION, 1979, 11 (02): : 229 - 233
[38] STRUCTURED PROGRAMMING IN FORTRAN
TENNY, T
DATAMATION, 1974, 20 (07): : 110 - &
[39] STRUCTURED PROGRAMMING CONSPIRACY
GLASS, RL
DATAMATION, 1979, 25 (10): : 278 - 279
[40] GADTs are not (Even partial) functors
Cagne, Pierre
Ghiorzi, Enrico
Johann, Patricia
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2024,