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 条
  • [41] Transformation of Functional Dataflow Parallel Programs into Imperative Programs
    V. S. Vasilev
    A. I. Legalov
    S. V. Zykov
    Automatic Control and Computer Sciences, 2022, 56 : 815 - 827
  • [42] Performance Analysis of Structuring Programs of Science, Technology and Inovation in the State of Minas Gerais
    Pinto da Rocha, Elisa Maria
    Siqueira, Lauren Fernandes
    Costa, Marcela Menezes
    del Giudice, Priscila Fialho
    REVISTA GESTAO & TECNOLOGIA-JOURNAL OF MANAGEMENT AND TECHNOLOGY, 2013, 13 (02): : 122 - 144
  • [43] FUNCTIONAL COMPUTATIONS IN LOGIC PROGRAMS
    DEBRAY, SK
    WARREN, DS
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1989, 11 (03): : 451 - 481
  • [44] Functional differentiation of computer programs
    Karczmarczuk, J
    ACM SIGPLAN NOTICES, 1999, 34 (01) : 195 - 203
  • [45] ASYNCHRONOUS FUNCTIONAL PARALLEL PROGRAMS
    JULLIAND, J
    PERRIN, GR
    LECTURE NOTES IN COMPUTER SCIENCE, 1990, 468 : 356 - 365
  • [46] FUNCTIONAL READING IN COMPETENCY PROGRAMS
    VACCA, RT
    VACCA, JAL
    JOURNAL OF READING, 1981, 24 (06): : 512 - 515
  • [47] MULTIPROCESSOR EXECUTION OF FUNCTIONAL PROGRAMS
    GOLDBERG, B
    INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, 1988, 17 (05) : 425 - 473
  • [48] A calculus of functional BSP programs
    Loulergue, F
    Hains, G
    Foisy, C
    SCIENCE OF COMPUTER PROGRAMMING, 2000, 37 (1-3) : 253 - 277
  • [49] Semantics of Untyped Functional Programs
    S. A. Nigiyan
    S. A. Avetisyan
    Programming and Computer Software, 2002, 28 : 119 - 126
  • [50] FUNCTIONAL SEMANTICS OF PROGRAMS WITH EXCEPTIONS
    BOLOT, JC
    JALOTE, P
    COMPUTER LANGUAGES, 1990, 15 (04): : 251 - 265
12345