Moebius: Metaprogramming using Contextual Types - The stage where System F can pattern match on itself (Long Version).
Junyoung JangSamuel GélineauStefan MonnierBrigitte PientkaPublished in: CoRR (2021)
Keyphrases
- pattern matching
- structural patterns
- high level
- multiscale
- contextual information
- feature vectors
- artificial neural networks
- multiple types
- context dependent
- associative memory
- data model
- evolutionary algorithm
- database
- relational databases
- preprocessing
- face recognition
- three dimensional
- artificial intelligence
- databases