asl n : the sign language used in the united states [syn: asl, american sign language ]
asl+ asl+ an algebraic specification language by david aspinall of the university of edinburgh. asl+ has rules for proving the satisfaction of specifications. it can also be viewed as a type theory with subtyping, featuring contravariant refinement for pi-abstracted specifications and a notion of stratified equality for higher-order objects
American Sign Language (ASL) is the predominant sign language of deaf communities in the United States and most of anglophone Canada. Besides North America, dialects of ASL and ASL-based creoles are used in many countries around the world, including much of West Africa and parts of Southeast Asia. ASL is also widely learned as a second language, serving as a lingua franca. ASL is most closely related to French Sign Language (LSF). It has been proposed that ASL is a creole language, although ASL shows features atypical of creole languages, such as agglutinative morphology.