A Language for Function Signature Representations
Expressive Power of Abstract Meaning Representations