Amanote Research
Register
Sign In
A Logic for Parametric Polymorphism
doi 10.1007/bfb0037118
Full Text
Open PDF
Abstract
Available in
full text
Date
Unknown
Authors
Gordon Plotkin
Martín Abadi
Publisher
Springer-Verlag
Related search
A Logic for Parametric Polymorphism With Effects
Parametric Analysis of Flexible Logic Control Model
Discrete Dynamics in Nature and Society
Modeling
Simulation
Parametric Optimization in Micro- Drilling by Applying Fuzzy Logic for Aluminium Plate
International Journal of Mechanical and Production Engineering Research and Development
Transfer Processes
Fluid Flow
Mechanical Engineering
Aerospace Engineering
Parametric Polymorphism Through Run-Time Sealing Or, Theorems for Low, Low Prices!
Development of Adaptive Fuzzy-Logic Device for Control Under Conditions of Parametric Non-Stationarity
EasternEuropean Journal of Enterprise Technologies
Control
Electronic Engineering
Industrial
Mechanical Engineering
Energy Engineering
Applied Mathematics
Systems Engineering
Manufacturing Engineering
Computer Science Applications
Electrical
Innovation
Management of Technology
Power Technology
Realisability Semantics of Parametric Polymorphism, General References and Recursive Types
Mathematical Structures in Computer Science
Mathematics
Computer Science Applications
Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Logic for ‘Because’
Review of Symbolic Logic
Mathematics
Philosophy
Logic
Boxes Go Bananas: Encoding Higher-Order Abstract Syntax With Parametric Polymorphism
Journal of Functional Programming
Software
