ML
From MaRDI portal
ML Q13958
Cited in
(only showing first 100 items - show all)- Psi-calculi in Isabelle
- Computer Aided Verification
- An effect system for algebraic effects and handlers
- Programming with algebraic effects and handlers
- The Watson theorem prover
- TRAMP
- PolyLib
- AmiCo
- Lifting
- Isabelle/UTP
- daVinci
- Elf
- MiniAgda
- Forsythe
- FMLtoHOL
- ALGOL 60
- Simula 67
- Transfer
- Eden
- MGS
- Teyjus
- Kit
- WorkflowFM
- Alms
- FreshOCaml
- Helena
- Flicker
- cubicaltt
- Eff
- EXPANDER
- MixML
- mini-ML
- reFLect
- TIL
- Jordan
- kepler98
- Mathpert
- gbeta
- FRIDGE
- Kleisli
- JVer
- GETFOL
- Watson
- Zapato
- QuodLibet
- Skil
- YACC
- embed_modal
- Archive Formal Proofs
- Berlekamp Zassenhaus
- ELPI
- Depth First Search
- CryptHOL
- Efficient Mergesort
- Gauss-Jordan
- Equations
- Kami
- Lava
- Logtk
- Psyche
- MAGMA-Lisp
- Piton
- Links
- AODV
- Native Word
- REVE
- Hotel Key Card
- Knuth Morris Pratt
- Centaur
- Tame Graphs
- Maximum Cardinality Matching
- MiniML
- ProofPeer
- BANE
- LOOPN++
- Regexp
- Cambridge LCF
- MSVL
- Deep_Learning
- AutoCorres
- DefunT
- Huffman
- CoDe
- KOOL
- ShortestPath
- TXDT
- DEECO
- cart-cube
- MurmurHash
- TALx86
- Interrogator
- IMP2_Binary_Heap
- Adimen-SUMO
- CloSpan
- FreeSpec
- Pintos
- Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems with IDP3
- An overview of the K semantic framework
- Practical affine types
- A Brief Overview of HOL4
This page was built for software: ML
