Skip to search formSkip to main contentSkip to account menu

Types and Programming Languages

Known as: TaPL 
Types and Programming Languages, ISBN 0-262-16209-1, (TaPL) is a book by Benjamin C. Pierce on type systems. A review by Frank Pfenning called it… 
Wikipedia (opens in a new tab)

Related topics

Related topics

12 relations
Abstraction principle (computer programming)BookBottom typeDivergence (computer science)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2018
Review
2018
15-814 : Types and Programming Languages
In the S machine, we still freely substitute into expressions, which goes somewhat against the idea that expressions should be… 
2015
2015
Managing workflow processes through access control policies
Workflow systems enable organizations to model and execute business processes, but the majority of contemporary workflow… 
2014
2014
Intracellular Localization of ABC Transporter TAPL Differs between Transient and Stable Expression
Transporter associated with antigen processing (TAP)-like (TAPL; ABCB9) is a half-type ABC transporter with sequence similarity… 
2013
2013
A Study on Development of the Prediction Model Related to the Sound Pressure in Terms of Frequencies, Using the Pass-by and NCPX Method
PURPOSES : The methods of measuring the sound from the noise source are Pass-by method and NCPX (Noble Close Proximity) method… 
2010
2010
Computing an Ontological Semantics for a Natural Language Fragment
The key objective of the research that has been carried out has been to establish theoretically sound connections between the… 
2010
2010
Des langages pour améliorer le développement et la maintenance des logiciels à base de composants. (Languages to improve the development and maintenance of component-based software)
La definition d'elements pouvant contribuer a ameliorer le developpement et la maintenance des logiciels est l'objectif des… 
2010
2010
A Universal Calculus for Stream Processing Languages ( Extended )
Stream processing applications such as algorithmic trading, MPEG processing, and web content analysis are ubiquitous and… 
2009
2009
DYNAMIC WORKFLOW MANAGEMENT BASED ON POLICY-ENABLED AUTHORIZATION
Workflow systems enable organizations to model and execute business processes, but the majority of contemporary workflow… 
2005
2005
Amino acid substitutions in the floor of the putative antigen-binding site of H-2 T 22 affect recognition by a yv T-cell receptor ( major histocompatibility complex )
We have previously identified a self-reactive y8 T-cell clone (KN6) specific for the H-2T region gene product T22b. Now we have… 
1995
1995
Increase in Positive Selection of CD8 + T Cells in TAPl-Mutant Mice by Human/~2-Microgl obulln Transgene By Hisse Martien van Santen,* Aaron Woolsey,*
Summary Mice harboring a deletion of the gene encoding the transporter associated with antigen presentation-1 (TAP1) are impaired… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)