about 'type checker'

Articles in journal, book chapters

  1. Arjen Rouvoet, Hendrik van Antwerpen, Casper Bach Poulsen, Robbert Krebbers, and Eelco Visser. Knowing when to ask: sound scheduling of name resolution in type checkers derived from declarative specifications. Proceedings of the ACM on Programming Languages, 4(OOPSLA), November 2020. [WWW] [doi:10.1145/3428248]
  2. Hendrik van Antwerpen, Casper Bach Poulsen, Arjen Rouvoet, and Eelco Visser. Scopes As Types. Proc. ACM Program. Lang., 2(OOPSLA):114:1-114:30, October 2018. ISSN: 2475-1421. [WWW] [doi:10.1145/3276484] Keyword(s): domain-specific language, name resolution, scope graphs, static semantics, type checker, type system.

Conference articles

  1. Emmanuel Coquery and François Fages. A Type System for CHR. In T. Schrijvers and Th. Frühwirth, editors, CHR05l, pages 19-33, 2005. KULCW, Technical report CW 421. [PDF] Keyword(s): CHR 2005, type systems, CHR 2005, CHR 2005.
  2. Emmanuel Coquery and François Fages. TCLP: A type checker for CLP($\mathcal{X}$). In F. Mesnard and A. Serebrenik, editors, WLPE03, KULCW, Technical report CW 371, pages 17-30, 2003. Keyword(s): type systems.