Sign in

System F with type equality coercions.

Martin SulzmannManuel M. T. ChakravartySimon L. Peyton JonesKevin Donnelly
Published in: TLDI (2007)
Keyphrases
  • neural network
  • image processing
  • real time
  • data sets
  • databases
  • information systems
  • feature selection
  • fixpoint
  • type checking
  • database query languages