Cited By
View all- BERNARDY JCLAESSEN K(2015)Efficient parallel and incremental parsing of practical context-free languagesJournal of Functional Programming10.1017/S095679681500013125Online publication date: 23-Jul-2015
- Hidaka SAsada KHu ZKato HNakano K(2013)Structural recursion for querying ordered graphsACM SIGPLAN Notices10.1145/2544174.250060848:9(305-318)Online publication date: 25-Sep-2013
- Lorenzen FErdweg S(2013)Modular and automated type-soundness verification for language extensionsACM SIGPLAN Notices10.1145/2544174.250059648:9(331-342)Online publication date: 25-Sep-2013
- Show More Cited By