Yet Another Language Extension Scheme
Abstract elided by the publisher.
Related papers
- yaSpMV: yet another SpMV framework on GPUs PPoPP 2014
- Yet Another Decision Procedure for Equality Logic CAV 2005
- The Heuristic Theorem Prover: Yet Another SMT Modulo Theorem Prover CAV 2006
- YALE: Yet Another Lambda Evaluator Based on Interaction Nets ICFP 1998
- LINGUIST-86: Yet Another Translator Writing System Based On Attribute Grammars PLDI 1982
- Yet Another Generating Method of Fluent Interfaces Supporting Flat- and Sub-chaining Styles SLE 2022
- Sharing Code through First-class Environments ICFP 1996
- Transitions in Extendible Arrays POPL 1973