Login / Signup
Irrelevance, Heterogeneous Equality, and Call-by-value Dependent Type Systems
Vilhelm Sjöberg
Chris Casinghino
Ki Yung Ahn
Nathan Collins
Harley D. Eades III
Peng Fu
Garrin Kimmell
Tim Sheard
Aaron Stump
Stephanie Weirich
Published in:
MSFP (2012)
Keyphrases
</>
complex systems
heterogeneous data
database
databases
machine learning
artificial intelligence
metadata
digital libraries
mobile robot
management system
distributed systems
building blocks
desirable properties
multiple types