Featherweight Swift: a Core calculus for Swift's type system.

Dimitri Racordon Didier Buchs

Published in: SLE (2020)

Keyphrases

type checking
database
artificial intelligence
image segmentation
database systems
search algorithm
hidden markov models
computer algebra