Type-Safe Observable Sharing in Haskell

被引：0
|
作者：
Gill, Andy [1 ]
机构：
[1] Univ Kansas, Informat Technol & Telecommun Ctr, Dept Elect Engn & Comp Sci, Lawrence, KS 66045 USA
来源：
HASKELL'09: PROCEEDINGS OF THE 2009 ACM SIGPLAN HASKELL SYMPOSIUM | 2009年
关键词：
Observable Sharing; DSL Compilation;
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
Haskell is a great language for writing and supporting embedded Domain Specific Languages (DSLs). Some form of observable sharing is often a critical capability for allowing so-called deep DSLs to be compiled and processed. In this paper, we describe and explore uses of an IO function for reification which allows direct observation of sharing.
引用
收藏
页码：117 / 128
页数：12
相关论文
共 50 条
  • [21] Proposal for making Eiffel type-safe
    Cook, W.R., 1600, (32):
  • [22] A PROPOSAL FOR MAKING EIFFEL TYPE-SAFE
    COOK, WR
    COMPUTER JOURNAL, 1989, 32 (04): : 305 - 311
  • [23] 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
  • [24] WHAT IS TYPE-SAFE CODE REUSE
    PALSBERG, J
    SCHWARTZBACH, MI
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 512 : 325 - 341
  • [25] 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
  • [26] Type-safe Quantum Programming in Idris
    Dandy, Liliane-Joy
    Jeandel, Emmanuel
    Zamdzhiev, Vladimir
    PROGRAMMING LANGUAGES AND SYSTEMS, ESOP 2023, 2023, 13990 : 507 - 534
  • [27] Type-safe optimisation of plugin architectures
    Glew, N
    Palsberg, J
    Grothoff, C
    STATIC ANALYSIS, PROCEEDINGS, 2005, 3672 : 135 - 154
  • [28] 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
  • [29] CCured: Type-safe retrofitting of legacy code
    Necula, GC
    McPeak, S
    Weimer, W
    ACM SIGPLAN NOTICES, 2002, 37 (01) : 128 - 139
  • [30] 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
12345