@misc{indiciae4c321bb76805,
  title = {Function Interface Models for Hardware Compilation: Types, Signatures, Protocols},
  author = {Dan R. Ghica},
  year = {2009},
  url = {https://arxiv.org/abs/0907.0749},
  note = {Source identifier: 0907.0749}
}