MixML Software Authors: – Cited in: 6 Publications (2008–2018) Related Software: 1ML; ML; Automath; Tribe; HMap; Dotty; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
VMlambda Software Authors: Sumii, Eijiro; Bannai, Hideo Cited in: 1 Publication (2003) Related Software: Camlp4; OCaml Main Fields: Computer science (68-XX)