Quasiquotes have been shown to greatly simplify the task of metaprogramming. This is in part because they hide the data structures of the intermediate representation (IR), instead allowing metaprogrammers to use the concrete syntax of the language they man ...
What do Marine Drive and Shibuya have in common? Both the long promenade at the southern end of Mumbai, and the gigantic pedestrian crossing in the heart of the Japanese capital, are places where one walks. This thesis discusses places of convergence and o ...
In this thesis, we explore techniques for the development and verification of programs in a high-level, expressive, and safe programming language. Our programs can express problems over unbounded domains and over recursive and mutable data structures. We p ...
BACKGROUND: Deletions and duplications of the 16p11.2 BP4-BP5 locus are prevalent copy number variations (CNVs), highly associated with autism spectrum disorder and schizophrenia. Beyond language and global cognition, neuropsychological assessments of thes ...
One of the key challenges involved in building statistical automatic speech recognition (ASR) systems is modeling the relationship between subword units or “lexical units” and acoustic feature observations. To model this relationship two types of resources ...
