Isabelle/HOL Cited in 1,033 Documents (1996–2023) Software Authors: Naraschewski, Wolfgang; Nipkow, Tobias Related Software: Isabelle; Coq; HOL; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Number theory (11-XX); …
LISP Cited in 112 Documents (1960–2020) Software Authors: McCarthy, John Related Software: ACL2; NQTHM; Haskell; … Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX); …
Featherweight Java Cited in 101 Documents (2001–2023) Software Authors: Igarashi, Atsushi; Pierce, Benjamin C.; Wadler, Philip Related Software: JML; ML; Scala; … Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Computer science (68-XX); …
Church Cited in 53 Documents (2008–2022) Software Authors: Goodman N., Mansinghka V.K., Roy D., Bonawitz K., Tenenbaum J.B. Related Software: BLOG; IBAL; ProbLog; … Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Probability theory and stochastic processes (60-XX); …
HOPLA Cited in 14 Documents (2002–2014) Software Authors: Nygaard, Mikkel; Winskel, Glynn Related Software: New-HOPLA Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Category theory; homological algebra (18-XX); …
PLAN Cited in 9 Documents (1997–2005) Software Authors: Hicks, Michael; Kakkar, Pankaj; Moore, Jonathan T.; Gunter, Carl A.; Nettles, Scott Related Software: Guava; AtomCaml; Atomizer; … Main Fields: Computer science (68-XX)
MixML Cited in 6 Documents (2008–2018) Software Authors: – Related Software: 1ML; ML; Automath; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Transactors Cited in 6 Documents (2005–2018) Software Authors: Field, John; Varela, Carlos A. Related Software: Erlang; CauDEr; Uppaal; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Lolliproc Cited in 5 Documents (2010–2016) Software Authors: Mazurak, Karl; Zdancewic, Steve Related Software: VeriML; ReCaml; Haskell; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
PELCR Cited in 4 Documents (2007–2019) Software Authors: Pedicini, Marco; Quaglia, Francesco Related Software: MPINE; PORGY; Haskell Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Template-Coq Cited in 5 Documents (2018–2022) Software Authors: Anand, Abhishek; Boulier, Simon; Cohen, Cyril; Sozeau, Matthieu; Tabareau, Nicolas Related Software: Coq; MetaCoq; CertiCoq; … Main Fields: Computer science (68-XX)
CRSX Cited in 3 Documents (2009–2011) Software Authors: Rose, K.H.; IBM Related Software: Automath; Nominal Isabelle; PoplMark; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Lambda Free RPOs Cited in 4 Documents (2017–2021) Software Authors: Blanchette, Jasmin Christian; Waldmann, Uwe; Wand, Daniel Related Software: Isabelle/HOL; Sledgehammer; Archive Formal Proofs; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
LLFp Cited in 4 Documents (2016–2019) Software Authors: Honsell, Furio; Liquori, Luigi; Maksimovic, Petar; Scagnetto, Ivan Related Software: Coq; MMT; Agda; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
EigenCFA Cited in 3 Documents (2011–2012) Software Authors: Prabhu, Tarun; Ramalingam, Shreyas; Might, Matthew; Hall, Mary Related Software: PETSc; CUDA; THORS; … Main Fields: Computer science (68-XX)
Knuth Bendix Orders Cited in 3 Documents (2017–2018) Software Authors: Heiko Becker; Jasmin Christian Blanchette; Uwe Waldmann; Daniel Wand Related Software: Isar; Isabelle/HOL; Nested Multisets; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
SUBSEXPL Cited in 3 Documents (2006–2011) Software Authors: de Moura, F.L.C.; Ayala-Rinc\'on, M.; Kamareddine, F. Related Software: Automath; Emacs; OCaml; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
cap-typechecking Cited in 2 Documents (2018–2019) Software Authors: J. Edi; A. Viso Related Software: GitHub Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Hazelnut Cited in 2 Documents (2017) Software Authors: Omar, Cyrus; Voysey, Ian; Hilton, Michael; Aldrich, Jonathan; Hammer, Matthew A. Related Software: Mtac; js_of_ocaml; mbeddr; … Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)
MicroRogue Cited in 2 Documents (2005–2007) Software Authors: Stump, Aaron; Besand, Ryan; Brodman, James C.; Hseu, Jonathan; Kinnersley, Bill Related Software: Cayenne; CVC; ALF; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
MLOG Cited in 2 Documents (1992–1994) Software Authors: Poirriez, Vincent Related Software: GHC Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
SKIL Cited in 2 Documents (1993–2000) Software Authors: Galmiche, D.; Hermann, O. Related Software: LEGO; Automath; Lolli; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
SOL Cited in 2 Documents (2019–2022) Software Authors: Hamana, Makoto Related Software: Haskell; CafeOBJ; GHC; … Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)
TILC Cited in 1 Document (2011) Software Authors: D. Ruiz, M. Villaret Related Software: Anagopos; Tulip; Graphviz Main Fields: Computer science (68-XX)
Anagopos Cited in 1 Document (2011) Software Authors: Bugge Grathwohl, Niels Bjørn; Ketema, Jeroen; Pallesen, Jens Duelund; Simonsen, Jakob Grue Related Software: TILC; Tulip; Graphviz Main Fields: Computer science (68-XX)
Cuneiform Cited in 1 Document (2017) Software Authors: Brandt, Jörgen; Reisig, Wolfgang; Leser, Ulf Related Software: PRMLT; Hive; Spark; … Main Fields: Computer science (68-XX)
foetus Cited in 1 Document (2016) Software Authors: Andreas Abel Related Software: Autosubst; OCaml; Why3; … Main Fields: Computer science (68-XX)
Jove Cited in 1 Document (2019) Software Authors: Gopalakrishnan, Ganesh Lalitha Related Software: Jupyter; Python Main Fields: Computer science (68-XX)
lambda Cited in 1 Document (2007) Software Authors: usdesign Related Software: IRAM; SBmethod; SDPARA; … Main Fields: Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)
MikiBeta Cited in 1 Document (2011) Software Authors: Sakurai, Kanako; Asai, Kenichi Related Software: PLT Redex; OCaml; Coq Main Fields: Computer science (68-XX)
TILT Cited in 1 Document (1991) Software Authors: Bittel, Oliver Related Software: – Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
VMlambda Cited in 1 Document (2003) Software Authors: Sumii, Eijiro; Bannai, Hideo Related Software: Camlp4; OCaml Main Fields: Computer science (68-XX)
X-Fun Cited in 0 Documents Software Authors: Labath, Pavel; Niehren, Joachim Related Software: QuiXProc; Calabash; QuiX; … Main Fields: Computer science (68-XX)