Type-safe casting

被引：0
|
作者：
Hsieh, Wilson C. [1 ]
Fiuczynski, Marc E. [1 ]
Pardyak, Przemyslaw [1 ]
Bershad, Brian N. [1 ]
机构：
[1] Univ of Utah, Salt Lake City, United States
来源：
Software - Practice and Experience | 1998年 / 28卷 / 11期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：1245 / 1252
相关论文
共 50 条
  • [21] Type-Safe Diff for Families of Datatypes
    Lempsink, Eelco
    Leather, Sean
    Loh, Andres
    WGP'09: PROCEEDINGS OF THE 2009 ACM SIGPLAN WORKSHOP ON GENERIC PROGRAMMING, 2009, : 61 - 72
  • [22] Type-Safe Code Transformations in Haskell
    Guillemette, Louis-Julien
    Monnier, Stefan
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2007, 174 (07) : 23 - 39
  • [23] WHAT IS TYPE-SAFE CODE REUSE
    PALSBERG, J
    SCHWARTZBACH, MI
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 512 : 325 - 341
  • [24] A Type-Safe Embedding of XDuce into ML
    Sulzmann, Martin
    Lu, Kenny Zhuo Ming
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 148 (02) : 239 - 264
  • [25] Type-safe Quantum Programming in Idris
    Dandy, Liliane-Joy
    Jeandel, Emmanuel
    Zamdzhiev, Vladimir
    PROGRAMMING LANGUAGES AND SYSTEMS, ESOP 2023, 2023, 13990 : 507 - 534
  • [26] Type-safe optimisation of plugin architectures
    Glew, N
    Palsberg, J
    Grothoff, C
    STATIC ANALYSIS, PROCEEDINGS, 2005, 3672 : 135 - 154
  • [27] Type-safe runtime class upgrades in Creol
    Yu, Ingrid Chieh
    Johnsen, Einar Broch
    Owe, Olaf
    FORMAL METHODS FOR OPEN OBJECT-BASED DISTRIBUTED SYSTEMS, 2006, 4037 : 202 - 217
  • [28] CCured: Type-safe retrofitting of legacy code
    Necula, GC
    McPeak, S
    Weimer, W
    ACM SIGPLAN NOTICES, 2002, 37 (01) : 128 - 139
  • [29] Type-safe trading proxies using TORBA
    Marvie, R
    Merle, P
    Geib, JM
    Leblane, S
    5TH INTERNATIONAL SYMPOSIUM ON AUTONOMOUS DECENTRALIZED SYSTEMS, PROCEEDINGS, 2001, : 303 - 310
  • [30] Squid: Type-Safe, Hygienic, and Reusable Quasiquotes
    Parreaux, Lionel
    Shaikhha, Amir
    Koch, Christoph E.
    SCALA'17: PROCEEDINGS OF THE 8TH ACM SIGPLAN INTERNATIONAL SYMPOSIUM ON SCALA, 2017, : 56 - 66
12345