Abstract

A Functional Reactive Programming Language for Small-Scale Embedded Systems with Recursive Data Types

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Similar Papers

Paper Title
Journal
Date
Author
Modeling sharing and recursion for weak reduction strategies using explicit substitution
Zine-El-Abidine Benaissa ... Pierre Lescanne
-
Zine-El-Abidine Benaissa, et. al.Zine-El-Abidine Benaissa ... Pierre Lescanne
01 Jan 1996
The Nax Language: Unifying Functional Programming and Logical Reasoning in a Language based on Mendler-style Recursion Schemes and Term-indexed Types
Ki Yung Ahn
-
Ki Yung AhnKi Yung Ahn
01 Jan 1999
Recursive types are not conservative over F≤
Giorgio Ghelli
-
Giorgio GhelliGiorgio Ghelli
01 Jan 1992
Polytypic Programming With Ease (Extended Abstract)
-
11 Nov 1999
View more papers

More From: Journal of Information Processing

Paper Title
Journal
Date
Author
Text-mining Analysis of What Students Think About e-learning and Face-to-face Classes during COVID-19
Minae Nishimoto ... Keiji Emi
Journal of Information Processing | VOL. 32
Minae Nishimoto, et. al.Minae Nishimoto ... Keiji Emi
01 Jan 2024
Model Building and Description Using the Agent-based Computational Economics Framework for Accounting
Kosei Takashima ... Isao Yagi
Journal of Information Processing | VOL. 32
Kosei Takashima, et. al.Kosei Takashima ... Isao Yagi
01 Jan 2024
Comparing Efficacy of Online Real-time Classes with On-demand Viewing Classes
Toru Ochi ... Koji Tateno
Journal of Information Processing | VOL. 32
Toru Ochi, et. al.Toru Ochi ... Koji Tateno
01 Jan 2024
A Sufficient Condition of Logically Constrained Term Rewrite Systems for Decidability of All-path Reachability Problems with Constant Destinations
Misaki Kojima ... Naoki Nishida
Journal of Information Processing | VOL. 32
Misaki Kojima, et. al.Misaki Kojima ... Naoki Nishida
01 Jan 2024
View more papers