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

doi 10.1145/1111542.1111555

Full Text

Abstract

Available in

Date

January 1, 2006

Authors

Siau-Cheng Khoo

Publisher

ACM Press

Related search

Type-Directed Weaving of Aspects for Polymorphically Typed Functional Languages

Science of Computer Programming

English

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

English

Environmental Bisimulations for Probabilistic Higher-Order Languages

ACM Transactions on Programming Languages and Systems

English

Compiler-Directed Transformation for Higher-Order Stencils

English

Scaling Database Languages to Higher-Order Distributed Programming

English

Higher-Order Aspects and Context in SUMO

SSRN Electronic Journal

English

Multiple Solutions for Impulsive Higher Order Functional Differential Equations

Miskolc Mathematical Notes

Numerical Analysis

Discrete Mathematics

English

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

ACM SIGPLAN Notices

Computer Science

English

A Posteriori Model Validation for the Temporal Order of Directed Functional Connectivity Maps

Frontiers in Neuroscience

English