Funder
European Regional Development Fund
Fundação para a Ciência e a Tecnologia
Subject
Software,Theoretical Computer Science,Computational Theory and Mathematics,Logic
Reference40 articles.
1. Metaphorisms in programming;Oliveira,2015
2. Regularity of relations: a measure of uniformity;Jaoua;Theor. Comput. Sci.,1991
3. Programming from Galois connections;Mu;J. Log. Algebraic Program.,2012
4. Back to basics: deriving representation changers functionally;Hutton;J. Funct. Program.,1996
5. Algebra of Programming;Bird,1997
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. On difunctions;Journal of Logical and Algebraic Methods in Programming;2023-08
2. Components and acyclicity of graphs. An exercise in combining precision with concision;Journal of Logical and Algebraic Methods in Programming;2022-01
3. Compiling quantamorphisms for the IBM Q Experience;IEEE Transactions on Software Engineering;2021