Eff Cited in 22 Documents (2013–2021) Software Authors: Bauer, Andrej; Pretnar, Matija Related Software: Koka; Haskell; GitHub; … Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)
Memoization Cited in 1 Document (2018) Software Authors: Simon Wimmer, Shuwei Hu,Tobias Nipkow Related Software: VerifyThis; Isabelle/HOL; Coq Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)