Sökt på: Böcker av Duane Mcbride
totalt 5 träffar
The Little Typer
An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time.A program's type describes its behavior. Dependent types are a first-class part of …
50 Concepts for a Critical Phenomenology
Phenomenology, the philosophical method that seeks to uncover the taken-for-granted presuppositions, habits, and norms that structure everyday experience, is increasingly framed by …
Little Typer
An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time.A program's type describes its behavior. Dependent types are a first-class part of …
Drug Control and the Courts
Prisons are bursting at the seams, filled with drug-abusing criminal offenders as a result of the continuing "war on drugs." Yet rates of drug use among these offenders continue to …
A Community Approach to AIDS Intervention
Written by researchers at a federally funded outreach program to combat the spread of AIDS, this book analyzes the efforts of the Miami Community Outreach Project to intervene in …