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 条
  • [1] Type-Safe Code Transformations in Haskell
    Guillemette, Louis-Julien
    Monnier, Stefan
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2007, 174 (07) : 23 - 39
  • [2] Type-safe concurrent resource sharing
    Wittie, Lea
    Lockhart, Jonathan
    CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2011, 23 (08): : 767 - 795
  • [3] Type-safe heterogeneous sharing can be fast
    Liskov, B
    Adya, A
    Castro, M
    Zondervan, Q
    PERSISTENT OBJECT SYSTEMS: PRINCIPLES AND PRACTICE, 1997, : 1 - 10
  • [4] Type-safe casting
    Hsieh, Wilson C.
    Fiuczynski, Marc E.
    Pardyak, Przemyslaw
    Bershad, Brian N.
    Software - Practice and Experience, 1998, 28 (11): : 1245 - 1252
  • [5] Type-safe disks
    Sivathanu, Gopalan
    USENIX ASSOCIATION 7TH USENIX SYMPOSIUM ON OPERATING SYSTEMS DESIGN AND IMPLEMENTATION, 2006, : 15 - 28
  • [6] Type-safe cast
    Weirich, S
    JOURNAL OF FUNCTIONAL PROGRAMMING, 2004, 14 : 681 - 695
  • [7] Type-safe method inlining
    Glew, N
    Palsberg, J
    ECOOP 2002 - OBJECT-ORIENTED PROGRAMMING, 2002, 2374 : 525 - 544
  • [8] Type-safe update programming
    Erwig, Martin
    Ren, Deling
    2003, Springer Verlag (2618):
  • [9] Type-safe update programming
    Erwig, M
    Ren, D
    PROGRAMMING LANGUAGES AND SYSTEMS, 2003, 2618 : 269 - 283
  • [10] A type-safe database interface
    Villoing, Florian
    Briot, Emmanuel
    RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2008, 2008, 5026 : 144 - 157
12345