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 条
  • [11] Type-safe multithreading in Cyclone
    Grossman, D
    ACM SIGPLAN NOTICES, 2003, 38 (03) : 13 - 25
  • [12] Type-Safe Modular Parsing
    Zhang, Haoyuan
    Li, Huang
    Oliveira, Bruno C. D. S.
    SLE'17: PROCEEDINGS OF THE 10TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON SOFTWARE LANGUAGE ENGINEERING, 2017, : 2 - 13
  • [13] Type-safe pattern combinators
    Rhiger, Morten
    JOURNAL OF FUNCTIONAL PROGRAMMING, 2009, 19 : 145 - 156
  • [14] Type-safe method inlining
    Glew, N
    Palsberg, J
    SCIENCE OF COMPUTER PROGRAMMING, 2004, 52 (1-3) : 281 - 306
  • [15] Type-Safe Evolution of Spreadsheets
    Cunha, Jacome
    Visser, Joost
    Alves, Tiago
    Saraiva, Joao
    FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, 2011, 6603 : 186 - +
  • [16] On Sapphire and type-safe languages
    Wright, A
    COMMUNICATIONS OF THE ACM, 2003, 46 (04) : 120 - 120
  • [17] A Type-Safe Structure Editor Calculus
    Godiksen, Christian
    Herrmann, Thomas
    Huttel, Hans
    Lauridsen, Mikkel Korup
    Owliaie, Iman
    PEPM '21: PROCEEDINGS OF THE 2021 ACM SIGPLAN WORKSHOP ON PARTIAL EVALUATION AND PROGRAM MANIPULATION, 2021, : 1 - 13
  • [18] Type-safe cast - Functional pearl
    Weirich, S
    ACM SIGPLAN NOTICES, 2000, 35 (09) : 58 - 67
  • [19] Short Communication - Type-safe casting
    Hsieh, WC
    Fiuczynski, ME
    Pardyak, P
    Bershad, BN
    SOFTWARE-PRACTICE & EXPERIENCE, 1998, 28 (11): : 1245 - 1252
  • [20] Type-safe dynamic update transaction
    Zhang, Shi
    Huang, LinPeng
    COMPSAC 2007: THE THIRTY-FIRST ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE, VOL II, PROCEEDINGS, 2007, : 335 - +
12345