Article,

Graduality from embedding-projection pairs.

, and .
Proc. ACM Program. Lang., 2 (ICFP): 73:1-73:30 (2018)

Meta data

Tags

Users

  • @dblp

Comments and Reviews