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 条

[21] STRUCTURING DISTRIBUTED PROGRAMS WITH CONTROL FAULT-DETECTION
TSUKAMOTO, M
LECTURE NOTES IN COMPUTER SCIENCE, 1982, 143 : 252 - 269
[22] Enhanced systematics for functional product structuring
Pulm, U
Lindemann, U
DESIGN RESEARCH - THEORIES, METHODOLOGIES, AND PRODUCT MODELLING, 2001, : 477 - 484
[23] STRUCTURING PROGRAMS FOR EFFICIENT OPERATION IN VIRTUAL MEMORY-SYSTEMS
BARRESE, AL
SHAPIRO, SD
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1979, 5 (06) : 643 - 652
[24] STRUCTURING CORPORATE COMPLIANCE PROGRAMS FOR POLLUTION-CONTROL REQUIREMENTS
SMITH, TT
JANKE, RR
MOLLOY, B
ANDERSON, WA
WHALEN, CE
VANERT, J
HALL, RM
BUSINESS LAWYER, 1980, 35 (03): : 1459 - 1491
[25] STRUCTURING INCENTIVES FOR CHANGE IN UNITED-STATES FARM PROGRAMS
GARDNER, B
AMERICAN JOURNAL OF AGRICULTURAL ECONOMICS, 1985, 67 (02) : 336 - 340
[26] From Functional Logic Programs to Purely Functional Programs Preserving Laziness
Brassel, Bernd
Fischer, Sebastian
IMPLEMENTATION AND APPLICATION OF FUNCTIONAL LANGUAGES, 2011, 5836 : 25 - 42
[27] Monadification of functional programs
Erwig, M
Ren, DL
SCIENCE OF COMPUTER PROGRAMMING, 2004, 52 (1-3) : 101 - 129
[28] Debugging functional programs
Stumptner, M
Wotawa, F
IJCAI-99: PROCEEDINGS OF THE SIXTEENTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLS 1 & 2, 1999, : 1074 - 1079
[29] Calculating functional programs
Gibbons, J
ALGEBRAIC AND COALGEBRAIC METHODS IN THE MATHEMATICS OF PROGRAM CONSTRUCTION, 2002, 2297 : 149 - 201
[30] Refactoring functional programs
Thompson, S
ADVANCED FUNCTIONAL PROGRAMMING, 2004, 3622 : 331 - 357

← 1 2 3 4 5 →