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… 
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
Rethink exception handling at C level
Exception handling is one of the most complex and advanced language features, and is found in most modern languages. However, it… 
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… 
2008
2008
A Size-Aware Type System with Algebraic Data Types
PCT No. PCT/EP87/00487 Sec. 371 Date Jun. 27, 1988 Sec. 102(e) Date Jun. 27, 1988 PCT Filed Aug. 27, 1987 PCT Pub. No. WO88/02049… 
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… 
1978
1978
1205 LUNG MATURITY AND THE PATENT DUCTUS ARTERIOSUS: WHY VENTILATE THE PDA?
Alterations in tracheal aspirate phospholipids (TAPL) during recovery from respiratory distress syndrome (RDS) previously have… 
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)