A Logic for Parametric Polymorphism With Effects

doi 10.1007/978-3-540-68103-8_10
Full Text
Abstract

Available in full text

Date

Unknown

Authors
Publisher

Springer Berlin Heidelberg

Related search

A Logic for Parametric Polymorphism

English

Parametric Analysis of Flexible Logic Control Model

Discrete Dynamics in Nature and Society
ModelingSimulation
2013English

Boxes Go Bananas: Encoding Higher-Order Abstract Syntax With Parametric Polymorphism

Journal of Functional Programming
Software
2007English

A Sound and Complete Logic for Algebraic Effects

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Parametric Optimization in Micro- Drilling by Applying Fuzzy Logic for Aluminium Plate

International Journal of Mechanical and Production Engineering Research and Development
Transfer ProcessesFluid FlowMechanical EngineeringAerospace Engineering
2018English

Parametric Polymorphism Through Run-Time Sealing Or, Theorems for Low, Low Prices!

English

Development of Adaptive Fuzzy-Logic Device for Control Under Conditions of Parametric Non-Stationarity

EasternEuropean Journal of Enterprise Technologies
ControlElectronic EngineeringIndustrialMechanical EngineeringEnergy EngineeringApplied MathematicsSystems EngineeringManufacturing EngineeringComputer Science ApplicationsElectricalInnovationManagement of TechnologyPower Technology
2018English

Realisability Semantics of Parametric Polymorphism, General References and Recursive Types

Mathematical Structures in Computer Science
MathematicsComputer Science Applications
2010English

Regression Models for Recurrent Event Data: Parametric Random Effects Models With Measurement Error

Statistics in Medicine
EpidemiologyStatisticsProbability
1997English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy