On Structuring Functional Programs with Monoidal Profunctors

被引：0
|
作者：
De Oliveira, Alexandre Garcia [1 ,2 ]
Jaskelioff, Mauro [3 ,4 ]
De Melo, Ana Cristina Vieira [1 ]
机构：
[1] IME-USP, São Paulo, Brazil
[2] Instituto de Matemática e Estatística, Univerisidade de São Paulo, São Paulo, Brazil
[3] CIFASIS-CONICET, Rosario, Argentina
[4] FCEIA, Universidad Nacional de Rosario, Argentina
来源：
Electronic Proceedings in Theoretical Computer Science, EPTCS | 2022年 / 360卷
关键词：
Compendex;
D O I：
9th Workshop on Mathematically Structured Functional Programming, MSFP 2022
中图分类号：
学科分类号：
摘要：
Algebra
引用
收藏
页码：134 / 150
相关论文
共 50 条
  • [1] On Structuring Functional Programs with Monoidal Profunctors
    de Oliveira, Alexandre Garcia
    Jaskelioff, Mauro
    Vieira de Melo, Ana Cristina
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2022, (360): : 134 - 150
  • [2] STRUCTURING FP-STYLE FUNCTIONAL PROGRAMS
    FLECK, AC
    COMPUTER LANGUAGES, 1986, 11 (02): : 55 - 63
  • [3] Extensions:: A technique for structuring functional-logic programs
    Caballero, R
    López-Fraguas, FJ
    PERSPECTIVES OF SYSTEM INFORMATICS, 2000, 1755 : 297 - 310
  • [4] Monoidal functional dependencies
    Vychodil, Vilem
    JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2015, 81 (07) : 1357 - 1372
  • [5] AUTOMATIC STRUCTURING OF PROGRAMS
    URSCHLER, G
    IBM JOURNAL OF RESEARCH AND DEVELOPMENT, 1975, 19 (02) : 181 - 194
  • [6] STRUCTURING PARALLEL AND DISTRIBUTED PROGRAMS
    MAGEE, J
    DULAY, N
    KRAMER, J
    SOFTWARE ENGINEERING JOURNAL, 1993, 8 (02): : 73 - 82
  • [7] Species, Profunctors and Taylor ExpansionWeighted by SMCC A Unified Framework for Modelling Nondeterministic, Probabilistic and QUantum Programs
    Tsukada, Takeshi
    Asada, Kazuyuki
    Ong, C-H Luke
    LICS'18: PROCEEDINGS OF THE 33RD ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, 2018, : 889 - 898
  • [8] AN ENVIRONMENT FOR PARALLEL STRUCTURING OF FORTRAN PROGRAMS
    SRIDHARAN, K
    DENTON, C
    EVENTOFF, B
    BROWNE, JC
    NEWTON, P
    ELLIS, M
    GROSSBARD, D
    WISE, T
    CLEMMER, D
    PROCEEDINGS OF THE 1989 INTERNATIONAL CONFERENCE ON PARALLEL PROCESSING, VOL 2: SOFTWARE, 1989, : 98 - 106
  • [9] STRUCTURING LOGIC PROGRAMS - A MODAL APPROACH
    GIORDANO, L
    MARTELLI, A
    JOURNAL OF LOGIC PROGRAMMING, 1994, 21 (02): : 59 - 94
  • [10] Structuring the Verification of Heap-Manipulating Programs
    Nanevski, Aleksandar
    Vafeiadis, Viktor
    Berdine, Josh
    ACM SIGPLAN NOTICES, 2010, 45 (01) : 261 - 273
12345