Sign in

Talking bananas: structural recursion for session types.

Sam LindleyJ. Garrett Morris
Published in: ICFP (2016)
Keyphrases
  • real time
  • structural information
  • neural network
  • computer vision
  • feature selection
  • e learning
  • objective function
  • expert systems
  • information technology