A Formal Development of an Efficient Supercombinator Compiler

A Formal Development of an Efficient Supercombinator Compiler

Bibliographic Details
Main Author:	Bird, R
Format:	Journal article
Published:	1987

Similar Items

Formal languages and compilation /
by: 437251 Reghizzi, Stefano Crespi
Published: (2009)

Compiling a Partition−based Formalism
by: Grimley−Evans, E, et al.
Published: (1996)

Requirements Compilation for Building Formal Ultra-time Team, for Imam Ali (AS) Online Encyclopedia Development
by: Ali asghar Pourezzat, et al.
Published: (2018-05-01)

A compiler compiler and methodology for problem oriented language compiler implementors /
by: 459855 Evans, R. V., et al.

Compiler-compiler for an eight bit microprocessor
by: Kasmiran Jumari,, et al.
Published: (1991)

Developing a C compiler
by: Zhong, Ruoyu
Published: (2024)

Efficient memory and GPU operations for Tiramisu compiler
by: Akkas, Abdurrahman.
Published: (2019)

Integration of PLC compiler with basic compiler /
by: 426376 Mohd. Shahrul Ahmad Sabri, et al.
Published: (2007)

Collaborative compilation
by: Wagner, Benjamin R
Published: (2007)

Toward an Energy Efficient Language and Compiler for (Partially) Reversible Algorithms
by: Tyagi, Nirvan, et al.
Published: (2018)

Efficient Decomposition of Unitary Matrices in Quantum Circuit Compilers
by: Anna M. Krol, et al.
Published: (2022-01-01)

Hybrid eager and lazy evaluation for efficient compilation of Haskell
by: Maessen, Jan-Willem
Published: (2005)

A Tensor Compiler for Simple and EfficientFully Homomorphic Encryption
by: Krastev, Aleksandar
Published: (2023)

FORMAL DERIVATION OF A PATTERN-MATCHING ALGORITHM
by: Bird, R, et al.
Published: (1989)

Formal Derivation of a Pattern Matching Algorithm
by: Bird, R, et al.
Published: (1989)

Formal Derivation of a Pattern Matching Algorithm
by: Bird, R, et al.
Published: (1989)

Integration of PLC compiler with basic compiler [electronic resource] /
by: 426376 Mohd. Shahrul Ahmad Sabri, et al.
Published: (2007)

BASIC compiler /
by: Microsoft Corporation
Published: (1982)

Compiler design /
by: 371601 Wilhelm, Reinhard, et al.
Published: (1995)

Compiler techniques /
by: Pollack, Bary W.
Published: (1972)

Strings; compiling
by: Open University. Algorithmic Approach to Computing Course Team
Published: (1973)

Compiler construction /
by: 172147 Waite, William M., et al.
Published: (1984)

Compilation [kesetvideo]
by: Open University. An Algorithmic Approach to Computing Course Team
Published: (1973)

Compiling [kasetvideo]
by: Open University. An Algorithmic Approach to Computing Course Team
Published: (1973)

Compiling [filem]
by: Open University. An Algorithmic Approach to Computing Course Team
Published: (1973)

Compilation [filem]
by: Open University. An Algorithmic Approach to Computing Course Team
Published: (1973)

Compiling with continuations /
by: 187117 Appel, Andrew W.
Published: (2006)

Compiling ESTEREL /
by: 301980 Potop-Butucaru, Dumitru, et al.
Published: (2007)

Silicon compilation/
by: Gajski, Daniel D.
Published: (1988)

Credible compilation
by: Marinov, Darko, 1976-
Published: (2014)

Credible Compilers
by: Rinard, Martin C.
Published: (2023)

Credible Compilation *
by: Rinard, Martin C.
Published: (2003)

Recursive descent compiling /
by: Davie, A. J. T. (Antony J. T.), 1939-, et al.
Published: (1981)

The anatomy of a compiler /
by: 183953 Lee, John A. N.
Published: (1974)

A compiler generator /
by: McKeeman, W. M. (William Marshall), et al.
Published: (1970)

Crafting a compiler /
by: 179741 Fischer, Charles N., et al.
Published: (1988)

Engineering a compiler /
by: Cooper, Keith D. (Keith Daniel), et al.
Published: (2004)

Engineering a compiler /
by: Cooper, Keith D. (Keith Daniel), et al.
Published: (c201)

Adaptive neural compilation
by: Bunel, R, et al.
Published: (2016)

Efficiency and formalism of quantum games
by: Lee, C, et al.
Published: (2003)