Eff Software Authors: Bauer, Andrej; Pretnar, Matija Cited in: 22 Publications (2013–2021) Related Software: Koka; Haskell; GitHub; ML; Coq; Links; … Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)
Celf Software Authors: Schack-Nielsen, Anders; Schürmann, Carsten Cited in: 2 Publications (2008–2018) Related Software: Twelf Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Memoization Software Authors: Simon Wimmer, Shuwei Hu,Tobias Nipkow Cited in: 1 Publication (2018) Related Software: VerifyThis; Isabelle/HOL; Coq Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)
Transformer semantics Software Authors: Georg Struth Cited in: 1 Publication (2022) Related Software: Quantales; KeYmaera X; Differential_Game_Logic; KAD; Algebraic_VCs; Kleene Algebra; … Main Fields: Computer science (68-XX)