The ANTLR 3 Eclipse Plugin helps you develop ANTLR 3 grammars inside Eclipse. It currently provides a project nature, a label decorator, a builder, and problem markers for ANTLR errors.
demonstrates that sprintf and sscanf can indeed use exactly the same formatting specification, which is a first-class value. We demonstrate typed sprintf and typed sscanf sharing the same formatting specification. Our solution is surprisingly trivial: it defines a simple embedded domain-specific language of formatting patterns. The functions sprintf and sscanf are two interpreters of the language, to build or parse a string according to the given pattern. Our solution relies only on GADTs. We demonstrate that lambda-abstractions at the type level are expressible already in the Hindley-Milner type system; GADT with the included polymorphic recursion help us use the abstractions.
K. Miksa, M. Kasztelnik, P. Sabina, и T. Walter. Models in Software Engineering, том 6002 из Lecture Notes in Computer Science, Springer Berlin Heidelberg, (2010)
D. Nunes, и D. Schwabe. WWW '06: Proceedings of the 15th international conference on World Wide Web, стр. 889--890. New York, NY, USA, ACM Press, (2006)