Functional Concepts in C++

QR Code

Functional Concepts in C++

We describe a parser-translator program that translates ty ped l-terms into C++ classes so as to integrate functional concepts. We prove the correctness of the translation of l-terms into C++ with respect to a denotational semantics using a Kripke-style logical relation. We also introduce a general...

Full description

Bibliographic Details
Published in:	Trends in Functional Programming: Volume 7
Main Author:	Abdul Rauf R.H.; Berger U.; Setzer A.
Format:	Book chapter
Language:	English
Published:	Intellect Ltd. 2005
Online Access:	https://www.scopus.com/inward/record.uri?eid=2-s2.0-85206032591&partnerID=40&md5=c7f4b63f576dd88e2086e7d5b9d4a947

Similar Items

C-H Functionalization and Antibacterial Activity of Heteroleptic Palladium Complexes Bearing Dithiocarbamates Moiety
by: Fuzi N.A.N.M.; Rahmat S.K.; Aziz M.H.A.; Jalil M.N.; Zaki H.M.; Sapari J.M.; Ali S.B.G.; Jantan K.A.
Published: (2024)

Feasibility of text visualization in text steganalysis
by: Ab. Rauf R.H.; Jamal N.
Published: (2014)

Avoiding Therapeutic Misconception and Reassessing the Concept of Vulnerability
by: Mohd Yusof A.N.; Abdul Rahman N.
Published: (2021)

The molecular concept of atheromatous plaques
by: Thent Z.C.; Chakraborty C.; Mahakkanukrauh P.; Mahmood N.R.K.N.; Rajan R.; Das S.
Published: (2017)

Brain aneurysm extraction in MRI images
by: Ab Rauf R.H.; Ghafar N.A.; Khalid N.E.A.
Published: (2019)

Styling Concept In Fashion Photography Process
by: Khaled, et al.
Published: (2023)

Green building concept at children activity centre
by: Hashim S.Z.; Hashim H.; Saleh A.A.; Kamarulzaman N.
Published: (2011)

Review on Synthesis of (S)-5-Benzylpyrrolidine-2,4-dione Derivatives with Substitution at C-3 Position by Employing Functional Groups Interconversion
by: Zulkifli M.; Pungot N.H.; Abdullah N.; Ash’ari N.A.N.; Shaameri Z.
Published: (2022)

In vivo study of homoeopathic preparation of Gymnema sylvestre mother tincture, 30C and 200C on streptozotocin-induced diabetic rats
by: Shukla A.; Mhaisker I.U.; Rampal K.G.; Sheshala R.
Published: (2021)

Microeconomics and tawhid string relation concept (TSR)
by: Nugroho L.; Doktoralina C.M.; Indriawati F.; Safira S.; Yahaya S.
Published: (2020)

Conceptions of Assessment: Perceptions of Physical and Health Education Teachers in Selangor, Malaysia
by: Yusoff, et al.
Published: (2024)

Eccentric training on rowing performance: A concept paper
by: Rahim A.A.; Omar A.R.; Ma'arof M.I.N.
Published: (2015)

Attenuated total reflectance - Fourier transform infrared (ATR-FTIR) spectroscopy analysis for O-H, C-H and C-O functional group in major carrier solvents of raw e-cigarette liquids (PG and VG)
by: Rusli N.S.; Embong Z.; Hashim N.Z.N.; Muhammad N.; Wahab A.A.; Jafery K.M.; Kamaruddin K.
Published: (2022)

Exploring the Guideline Criteria for Malaysian Garden Design Concept
by: Zakaria A.Z.; Mohd Hussain N.H.; Mat Nayan N.
Published: (2024)

“Role of Human Factor for the Implementation of the “Vision Zero” Concept in Railway Transport: An Overview”
by: Muhammed Nor M.A.; Jaganathapillai T.; Yusop A.F.; Hamidi M.A.; Omar M.N.; Abdul Hamid N.A.; Wan Mohamed W.M.
Published: (2024)

Overview of Semiotic Concept on Preschooler Comprehension in Behaviour Change
by: Rahman, et al.
Published: (2023)

Overview of Semiotic Concept on Preschooler Comprehension in Behaviour Change
by: Abd Rahman, et al.
Published: (2023)

Using systematic animation to teach dynamic science concepts
by: Talib O.; Azhar S.C.; Abdullah N.
Published: (2006)

Assessment of Fraction Concept among Lower Secondary Students
by: Rosli F.B.; Zik Hong J.B.; Tau Han C.; Sian Hoon T.; Anthonysamy L.
Published: (2024)

Novel Concepts on Domination in Neutrosophic Incidence Graphs with Some Applications
by: Fitriah Mohamad S.N.; Hasni R.; Smarandache F.
Published: (2023)

An Overview of Crosslinked Enzyme Aggregates: Concept of Development and Trends of Applications
by: Bouguerra O.M.; Wahab R.A.; Huyop F.; Al-Fakih A.M.; Mahmood W.M.A.W.; Mahat N.A.; Sabullah M.K.
Published: (2024)

Conceptions of Assessment: Perceptions of Physical and Health Education Teachers in Selangor, Malaysia
by: Yusoff S.M.; Leng C.H.; Razak R.A.; Basal M.H.; Marzaini A.F.M.
Published: (2024)

Revisiting reflexology: Concept, evidence, current practice, and practitioner training
by: Embong N.H.; Soh Y.C.; Ming L.C.; Wong T.W.
Published: (2015)

Concept Combination and Inter-Transformation of Semiotics and Semantic Learning in Design
by: Lin X.; Nurul A.A.S.
Published: (2023)

The Concept of Islamic Spiritualism in Dealing with Plague and Infectious Disease Outbreaks
by: Ismail-Ahmad M.; Mustafa Busu Z.; Ahmad M.M.A.; Junoh N.; Yusof N.; Musa M.F.
Published: (2024)

Intention-to-Treat Analysis in Clinical Research : Basic Concepts for Clinicians
by: Armijo-Olivo S.; Barbosa-Silva J.; de Castro-Carletti E.M.; de Oliveira-Souza A.I.S.; Pelai E.B.; Mohamad N.; Baghbaninaghadehi F.; Dennett L.; Steen J.P.; Kumbhare D.; Ballenberger N.
Published: (2024)

A Review of Fog Computing: Concept, Architecture, Application, Parameters, and Challenges
by: Ghani N.; Sajak A.A.B.; Qureshi R.; Zuhairi M.F.A.; Baidowi Z.M.P.A.
Published: (2024)

THE BASIC MODEL OF ISLAMIC PSYCHOSPIRITUAL TREATMENT BASED ON UNDERSTANDING AND APPRECIATING THE CONCEPT OF DESTINY (AL-TAQDIR)
by: Syed Abdul Rahman S.M.H.; Mohd Azhar M.H.; Sa’ari C.Z.; Zainal Abidin M.S.; Zariff Ilias M.
Published: (2023)

Palladium and copper catalyzed Sonogashira cross coupling has been an excellent methodology for C-C bond formation for 17 years: A review
by: Kanwal I.; Mujahid A.; Rasool N.; Rizwan K.; Malik A.; Ahmad G.; Shah S.A.A.; Rashid U.; Nasir N.M.
Published: (2020)

Implementation of high availability concept based on traffic segregation over MPLS-TE
by: Ab Rahman R.; Alias F.A.; Kassim M.; Yusof M.I.; Hashim H.
Published: (2015)

Multichannel Microstimulating SoC
by: Noorsal E.; Xu H.; Sooksood K.; Ortmanns M.
Published: (2022)

APPLICATION OF BIOPHILIC DESIGN CONCEPT IN THE MALAYSIAN CONSTRUCTION INDUSTRY: ARCHITECTS’ PERSPECTIVES
by: Azidin Y.A.Z.; Janipha N.A.I.; Zaki Z.A.M.
Published: (2023)

The relationship between servicescape towards consumers’ perceptions on food truck concept
by: Ghazali N.; Bakar N.A.A.; Din N.
Published: (2016)

Implementation of the Gamification Concept Using KAHOOT! among TVET Students: An Observation
by: Ismail M.E.; Sa'Adan N.; Samsudin M.A.; Hamzah N.; Razali N.; Mahazir I.I.
Published: (2018)

Gastrulation and Body Axes Formation: A Molecular Concept and Its Clinical Correlates
by: Abas R.; Masrudin S.S.; Harun A.M.; Omar N.S.
Published: (2022)

Genetic polymorphism of CYP2C8 in three Malaysian ethnics: CYP2C8*2 and CYP2C8*3 are found in Malaysian Indians
by: Muthiah Y.D.; Lee W.L.; Teh L.K.; Ong C.E.; Ismail R.
Published: (2005)

The symmetry analysis in Sulaiman Esa paintings through Islamic art concept
by: Soliana W.M.Z.W.; Marzuki I.; Rushana S.; Hafiza G.N.
Published: (2021)

Blockchain Adoption in E-Voting in Malaysian Higher Education: Concept paper
by: Rahmad, et al.
Published: (2024)

Blockchain Adoption in E-Voting in Malaysian Higher Education: Concept paper
by: Rahmad, et al.
Published: (2024)

Research on Interior Design of New Energy Vehicles under the Concept of Information Materialization
by: He J.; Mahdzir H.A.B.A.; Chen H.
Published: (2024)