Amanote Research

Amanote Research

    RegisterSign In

Domain-Theoretic Foundations of Functional Programming

doi 10.1142/6284
Full Text
Open PDF
Abstract

Available in full text

Date

October 24, 2006

Authors
Thomas Streicher
Publisher

WORLD SCIENTIFIC


Related search

Decision-Theoretic Foundations for Causal Reasoning

Journal of Artificial Intelligence Research
Artificial Intelligence
1995English

A Proof Theoretic View of Constraint Programming

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
1998English

Functional Programming

English

An Operational Domain-Theoretic Treatment of Recursive Types

Mathematical Structures in Computer Science
MathematicsComputer Science Applications
2013English

Foundations of Coloring Algebra With Consequences for Feature-Oriented Programming

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Functional Programming at Work in Object- Oriented Programming.

Journal of Object Technology
Software
2009English

Foundations for Molecular and Enzymatic Functional Surgery

SSRN Electronic Journal
2017English

Lazy Functional Meta-Case Programming

1996English

Optimal Implementation of Frequency Domain Impedances in Time Domain Simulations of Building Structures on Embedded Foundations

2020English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy