Alice ML

GPTKB entity

Statements (20)
Predicate Object
gptkbp:instanceOf gptkb:programming_language
gptkbp:designedFor teaching programming
gptkbp:hasFeature type inference
first-class functions
algebraic data types
pattern matching
https://www.w3.org/2000/01/rdf-schema#label Alice ML
gptkbp:implementedIn gptkb:Alice_system
gptkbp:influencedBy gptkb:OCaml
gptkb:Standard_ML
gptkbp:paradigm functional programming
gptkbp:similarTo gptkb:Standard_ML
gptkbp:supports constraint programming
concurrent programming
distributed programming
gptkbp:website https://www.ps.uni-saarland.de/alice/
gptkbp:bfsParent gptkb:ML_family
gptkb:ML_family_of_languages
gptkb:Oz_programming_language
gptkbp:bfsLayer 7