swMATH1218MaRDI QIDQ13958FDOQ13958
Author name not available (Why is that?)
Official website: http://smlnj.org/sml97.html
Source code repository: https://smlfamily.github.io/
Cited In (only showing first 100 items - show all)
- A Brief Overview of HOL4
- The Orc Programming Language
- TkWinHOL
- TPS
- Prosper
- FoCs
- HiLog
- Ada95
- FRACTRAN
- PROOF
- CASL
- MWB
- Isar
- MetaPRL
- IsaWin
- Isabelle/ZF
- Miranda
- p2b
- TAS
- OBJ3
- HOL
- BuDDy
- Matita
- ArcAngelC
- ETPS
- ClawZ
- ProofPower
- OCaml
- Saoithin
- FocalTest
- Isabelle/jEdit
- CeTA
- HOL Light
- HOL-Omega
- UTP2
- GHC
- Nuprl
- Satallax
- Automath
- Kodkod
- Twelf
- Erlang
- Isabelle/PIDE
- LISP
- Scala
- QuickCheck
- Aplusix-editor
- Plastic
- NQTHM
- MMT
- VESTA
- ETCH
- LoTREC
- MACOM
- CLSAT
- LCF
- ALF
- Facile
- Aplusix
- Dhrystone
- Commonloops
- Curry
- Kernel-LEAF
- Lilac
- Pict
- Robotica
- IMPS
- Rfuzzy
- Polyp
- MetaOCaml
- Bedwyr
- BER MetaOCaml
- iTasks
- Agda
- Epigram
- EasyCheck
- EasyCrypt
- LEGO
- evt
- Proof General Kit
- Minlog
- SmallCheck
- SAD
- Galculator
- Squolem
- PLT Redex
- Milawa
- QMLTP
- PhoX
- Sparkle
- TOY
- FreshML
- Analytic tableaux for higher-order logic with choice
- Generating meta-heuristic optimization code using ADATE
- TPS: A hybrid automatic-interactive system for developing proofs
- OBSCURE, a specification language for abstract data types
- Fixpoints and search in PVS
- Automatic proof and disproof in Isabelle/HOL
- Metis
- A polymorphic type system for Prolog
This page was built for software: ML
