scientific article; zbMATH DE number 1090656
From MaRDI portal
Publication:4366777
Software, source code, etc. for problems pertaining to mathematical logic and foundations (03-04) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) General topics in the theory of software (68N01) Theory of programming languages (68N15) Theory of data (68Pxx) Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65) Computing methodologies and applications (68Uxx)
Recommendations
Cited in
(17)- The Soccer-Fun project
- Functional programming applied to scientific calculus. II: Numerical methods, competitions and parallelization
- Functional programming applied to scientific calculus. I: Numerical methods and applications
- scientific article; zbMATH DE number 4060679 (Why is no real title available?)
- scientific article; zbMATH DE number 1376149 (Why is no real title available?)
- scientific article; zbMATH DE number 42964 (Why is no real title available?)
- scientific article; zbMATH DE number 42965 (Why is no real title available?)
- scientific article; zbMATH DE number 49798 (Why is no real title available?)
- scientific article; zbMATH DE number 194511 (Why is no real title available?)
- scientific article; zbMATH DE number 194541 (Why is no real title available?)
- scientific article; zbMATH DE number 194542 (Why is no real title available?)
- scientific article; zbMATH DE number 2090729 (Why is no real title available?)
- The Functional “C” experience
- Design and analysis of purely functional programs.
- The Functional Approach to Programming
- Domain-specific languages of mathematics
- Functional programs that explain their work
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4366777)
