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, und T. Walter. Models in Software Engineering, Volume 6002 von Lecture Notes in Computer Science, Springer Berlin Heidelberg, (2010)
D. Nunes, und D. Schwabe. WWW '06: Proceedings of the 15th international conference on World Wide Web, Seite 889--890. New York, NY, USA, ACM Press, (2006)