Type-Directed Weaving of Aspects for Higher-Order Functional Languages

doi 10.1145/1111542.1111555
Full Text
Abstract

Available in full text

Date
Authors
Publisher

ACM Press

Related search

Type-Directed Weaving of Aspects for Polymorphically Typed Functional Languages

Science of Computer Programming
Software
2010English

Strong Non-Interference and Type-Directed Higher-Order Masking

2016English

Environmental Bisimulations for Probabilistic Higher-Order Languages

ACM Transactions on Programming Languages and Systems
Software
2019English

Compiler-Directed Transformation for Higher-Order Stencils

2015English

Scaling Database Languages to Higher-Order Distributed Programming

1995English

Higher-Order Aspects and Context in SUMO

SSRN Electronic Journal
2011English

Multiple Solutions for Impulsive Higher Order Functional Differential Equations

Miskolc Mathematical Notes
ControlNumerical AnalysisAlgebraCombinatoricsAnalysisNumber TheoryOptimizationDiscrete Mathematics
2008English

Analysing the Complexity of Functional Programs: Higher-Order Meets First-Order

ACM SIGPLAN Notices
Computer Science
2015English

Oscillation Theorems for Certain Higher Order Nonlinear Functional Differential Equations

Applicable Analysis and Discrete Mathematics
CombinatoricsApplied MathematicsAnalysisDiscrete Mathematics
2008English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy