On structuring functional programs with monoidal profunctors (2022)
- Authors:
- USP affiliated authors: MELO, ANA CRISTINA VIEIRA DE - IME ; OLIVEIRA, ALEXANDRE GARCIA DE - IME
- Unidade: IME
- Assunto: ENGENHARIA DE SOFTWARE
- Language: Inglês
- Imprenta:
- Source:
- Título: Electronic Proceedings in Theoretical Computer Science
- ISSN: 2075-2180
- Volume/Número/Paginação/Ano: v. 360, p. 134-150, 2022
- Conference titles: Workshop on Mathematically Structured Functional Programming - MSFP
-
ABNT
OLIVEIRA, Alexandre Garcia de e JASKELIOFF, Mauro e MELO, Ana Cristina Vieira de. On structuring functional programs with monoidal profunctors. Electronic Proceedings in Theoretical Computer Science. Sydney: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?MSFP2022.7. Acesso em: 23 jan. 2026. , 2022 -
APA
Oliveira, A. G. de, Jaskelioff, M., & Melo, A. C. V. de. (2022). On structuring functional programs with monoidal profunctors. Electronic Proceedings in Theoretical Computer Science. Sydney: Instituto de Matemática e Estatística, Universidade de São Paulo. Recuperado de https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?MSFP2022.7 -
NLM
Oliveira AG de, Jaskelioff M, Melo ACV de. On structuring functional programs with monoidal profunctors [Internet]. Electronic Proceedings in Theoretical Computer Science. 2022 ; 360 134-150.[citado 2026 jan. 23 ] Available from: https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?MSFP2022.7 -
Vancouver
Oliveira AG de, Jaskelioff M, Melo ACV de. On structuring functional programs with monoidal profunctors [Internet]. Electronic Proceedings in Theoretical Computer Science. 2022 ; 360 134-150.[citado 2026 jan. 23 ] Available from: https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?MSFP2022.7 - Resolução numérica de equações de advecção-difusão empregando malhas adaptativas
- Programming with monoidal profunctors and semiarrows
- Testing Java exceptions: an instrumentation technique
- On the testability of properties patterns
- Can you certify your software to MC/DC?: a static analysis approach to account for the number test cases
- From active names to π-calculus rewriting rules
- Formalization of an architectural model for exception handling coordination based on CA action concepts
- Testing the adherence of enterprise web applications to transactional patterns
- A formal environment model for multi-agent systems
- Reusing hardware components with single-state processes
Download do texto completo
| Tipo | Nome | Link | |
|---|---|---|---|
 |
3122679.pdf |
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
