A syntactic type system for recursive modules.

Hyeonseung Im Keiko Nakata Jacques Garrigue Sungwoo Park

Published in: OOPSLA (2011)

Keyphrases

pattern recognition
natural language
information retrieval
information systems
video sequences
logic programs
building blocks
syntactic structures