A practical approach to type-sensitive parsing (original) (raw)
Related papers
A synthesis of type-checking and parsing
Computer Languages, 1993
Expressive Power of the Statically Typed Concrete Syntax Trees
2021
Concrete Syntax with Black Box Parsers
The Art, Science, and Engineering of Programming, 2019
Composable and hygienic typed syntax macros
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015
Type Processing by Constraint Reasoning
Lecture Notes in Computer Science, 2006
A note on typing feature structures
Computational Linguistics, 2002
Type-directed, whitespace-delimited parsing for embedded DSLs
Proceedings of the First Workshop on the Globalization of Domain Specific Languages - GlobalDSL '13, 2013
Parsing with typed feature structures
Arxiv preprint cmp-lg/9601011, 1996
The type system of a higher-order logic programming language
1992
Cascade: A Universal Programmer-Assisted Type Qualifier Inference Tool
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering, 2015
Translating HPSG-style outputs of a robust parser into typed dynamic logic
Proceedings of the COLING/ACL on Main conference poster sessions -, 2006
Parsing Parses A Pearl of ( Dependently Typed ) Programming and Proof
2015
A Framework for Analysis of Typed Logic Programs
2001
Generic conversions of abstract syntax representations
2012
Exploring Type Inference Techniques of Dynamically Typed Languages
A verified packrat parser interpreter for parsing expression grammars
Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2020
Optimizing the runtime processing of types in a higher-order logic programming language
2005
Derivation of a typed functional LR parser
2003
DyLan: Parser for Dynamic Syntax
2011
2.1 Static Type Inference.................................... 5
2013
Incremental Expression Parsing for Syntax-Directed Editors
1982
A generic parser for strings and trees
Computer Science and Information Systems, 2012
Type qualifier inference for java
ACM SIGPLAN Notices, 2007
Well-typed Islands Parse Faster
arXiv preprint arXiv:1201.0024, 2011
Proceedings of the sixth conference on European chapter of the Association for Computational Linguistics -, 1993
Explicit Substitutions for Contextual Type Theory
Electronic Proceedings in Theoretical Computer Science, 2010
Heads and Phrases. Type Calculus for Dependency and Constituent Structure
More Precise Yet Efficient Type Inference for Logic Programs
Lecture Notes in Computer Science, 2002
2004
A Rewriting Logic Approach to Type Inference: Technical Report
A simple type-theoretic language: Mini-TT
Essays in Honour of Gilles Kahn, 2009
Dynamic Syntax Tree: Implementation Results-2012
Marco Barzanti, Tim Moses, David Syman
Dynamic Syntax Tree: Implementation Results-2012, 2012