×

Found 4 Software Packages (Results 1–4)

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)

Celf

Cited in 2 Documents (2008–2018)
Software Authors: Schack-Nielsen, Anders; Sch├╝rmann, Carsten
Related Software: Twelf
Main Fields: Mathematical logic and foundations (03-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)

Transformer semantics

Cited in 1 Document (2022)
Software Authors: Georg Struth
Related Software: Quantales; KeYmaera X; Differential_Game_Logic; …
Main Fields: Computer science (68-XX)

Filter Results by …

all top 3

Main Field