Modular Higher-Order Effects

被引：0
|
作者：
Wu, Nicolas [1 ]
机构：
[1] Imperial Coll London, London, England
来源：
PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PADL 2024 | 2023年 / 14512卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：XIII / XIV
页数：2
相关论文
共 50 条
  • [1] Towards Modular Compilation Using Higher-Order Effects
    Reinders, Jaro S.
    OpenAccess Series in Informatics, 2023, 109
  • [2] Hefty Algebras: Modular Elaboration of Higher-Order Algebraic Effects
    Bach Poulsen C.
    Van Der Rest C.
    Proceedings of the ACM on Programming Languages, 2023, 7 : 1801 - 1831
  • [3] Modular higher-order equational preunification
    Qian, ZY
    Wang, K
    JOURNAL OF SYMBOLIC COMPUTATION, 1996, 22 (04) : 401 - 424
  • [4] Modular Verification of Higher-Order Functional Programs
    Sato, Ryosuke
    Kobayashi, Naoki
    PROGRAMMING LANGUAGES AND SYSTEMS (ESOP 2017): 26TH EUROPEAN SYMPOSIUM ON PROGRAMMING, 2017, 10201 : 831 - 854
  • [5] Modular Heap Analysis for Higher-Order Programs
    Madhavan, Ravichandhran
    Ramalingam, G.
    Vaswani, Kapil
    STATIC ANALYSIS, SAS 2012, 2012, 7460 : 370 - 387
  • [6] Higher-order modular regulation of the human proteome
    Kustatscher, Georg
    Hodl, Martina
    Rullmann, Edward
    Grabowski, Piotr
    Fiagbedzi, Emmanuel
    Groth, Anja
    Rappsilber, Juri
    MOLECULAR SYSTEMS BIOLOGY, 2023, 19 (05)
  • [7] MODULAR HIGHER-ORDER E-UNIFICATION
    NIPKOW, T
    QIAN, Z
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 488 : 200 - 214
  • [8] HIGHER-ORDER INSTANTON EFFECTS
    LEVINE, H
    YAFFE, LG
    PHYSICAL REVIEW D, 1979, 19 (04): : 1225 - 1242
  • [9] HIGHER-ORDER ASYNCHRONOUS EFFECTS
    Ahman, Danel
    Pretnar, Matija
    LOGICAL METHODS IN COMPUTER SCIENCE, 2024, 20 (03)
  • [10] A Modular Semantics for Higher-Order Declarative Programming with Constraints
    del Vado Virseda, Rafael
    Perez Morente, Fernando
    PPDP 11 - PROCEEDINGS OF THE 2011 SYMPOSIUM ON PRINCIPLES AND PRACTICES OF DECLARATIVE PROGRAMMING, 2011, : 41 - 51
12345