Amanote Research
Register
Sign 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
A Proof Theoretic View of Constraint Programming
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
Functional Programming
An Operational Domain-Theoretic Treatment of Recursive Types
Mathematical Structures in Computer Science
Mathematics
Computer Science Applications
Foundations of Coloring Algebra With Consequences for Feature-Oriented Programming
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Functional Programming at Work in Object- Oriented Programming.
Journal of Object Technology
Software
Foundations for Molecular and Enzymatic Functional Surgery
SSRN Electronic Journal
Lazy Functional Meta-Case Programming
Optimal Implementation of Frequency Domain Impedances in Time Domain Simulations of Building Structures on Embedded Foundations