Sign in

Dependent types and multi-monadic effects in F.

Nikhil SwamyCatalin HritcuChantal KellerAseem RastogiAntoine Delignat-LavaudSimon ForestKarthikeyan BhargavanCédric FournetPierre-Yves StrubMarkulf KohlweissJean Karim ZinzindohoueSantiago Zanella Béguelin
Published in: POPL (2016)
Keyphrases
  • information retrieval
  • multiresolution
  • real time
  • information systems
  • image sequences
  • search algorithm