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 条
  • [31] 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
  • [32] Automatically Proving Equivalence by Type-Safe Reflection
    Slama, Franck
    Brady, Edwin
    INTELLIGENT COMPUTER MATHEMATICS, 2017, 10383 : 40 - 55
  • [33] Fault-Safe Code Motion for Type-Safe Languages
    Murphy, Brian R.
    Menon, Vijay
    Schneider, Florian T.
    Shpeisman, Tatiana
    Adl-Tabatabai, Ali-Reza
    CGO 2008: SIXTH INTERNATIONAL SYMPOSIUM ON CODE GENERATION AND OPTIMIZATION, PROCEEDINGS, 2008, : 144 - 154
  • [34] Cross-Language, Type-Safe, and Transparent Object Sharing For Co-Located Managed Runtimes
    Wegiel, Michal
    Krintz, Chandra
    ACM SIGPLAN NOTICES, 2010, 45 (10) : 223 - 240
  • [35] Concise, Type-Safe, and Efficient Structural Diffing
    Erdweg, Sebastian
    Szabo, Tamas
    Pacak, Andre
    PROCEEDINGS OF THE 42ND ACM SIGPLAN INTERNATIONAL CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION (PLDI '21), 2021, : 406 - 419
  • [36] Type-Safe Updating for Modular WSN Software
    Porter, Barry
    Roedig, Utz
    Coulson, Geoff
    2011 INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING IN SENSOR SYSTEMS AND WORKSHOPS (DCOSS), 2011,
  • [37] Type-safe delegation for dynamic component adaptation
    Kniesel, G
    OBJECT-ORIENTED TECHNOLOGY: ECOOP'98 WORKSHOP READER, 1998, 1543 : 136 - 137
  • [38] Type-Safe Eventful Sessions in Java']Java
    Hu, Raymond
    Kouzapas, Dimitrios
    Pernet, Olivier
    Yoshida, Nobuko
    Honda, Kohei
    ECOOP 2010: OBJECT-ORIENTED PROGRAMMING, 2010, 6183 : 329 - 353
  • [39] Type-safe versioned object query language
    Machado, Rodrigo
    Moreira, Alvaro Freitas
    Galante, Renata de Matos
    Moro, Mirella Moura
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2006, 12 (07) : 938 - 957
  • [40] CCured: Type-safe retrofitting of legacy software
    Necula, GC
    Condit, J
    Harren, M
    McPeak, S
    Weimer, W
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2005, 27 (03): : 477 - 526
12345