Skip to search formSkip to main contentSkip to account menu

PreScheme

Known as: Pre-Scheme 
PreScheme or Pre-Scheme is a statically-typed dialect of Scheme with the efficiency and low-level machine access of C while retaining many of the… 
Wikipedia (opens in a new tab)

Related topics

Related topics

3 relations
Closure (computer programming)SchemeSystem programming language

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2016
Review
2016
Book review: Structural timber elements – a pre-scheme design guide
With an enormous quantity of easily accessible information, this practical book deserves to be widely adopted for timber scheme… 
2016
2016
Structural timber elements: a pre-scheme design guide
2004
2004
A Verified Run-Time Structure for Pure PreScheme
This document gives a summary of activities under MITRE Corporation Contract Number F19628-89-C-0001. It gives an operational… 
2003
2003
Executing Verified Compiler Specification
Much work has been done in verifying a compiler specification, both in hand-written and mechanical proofs. However, there is… 
2003
2003
The design of pre-scheme for emergence response to sudden medical incident in hospital
Sudden medical incidents in hospital are of suddenness, mass and press, the go beyond the normal service ability of a hospital… 
1995
1995
{78 () the Vlisp Veriied Scheme System *
The vlisp project has produced a rigorously veriied compiler from Scheme to byte codes, and a veriied interpreter for the… 
1993
1993
The Revised VLISP PreScheme Front End
The Veri ed Programming Language Implementation Project developed a formally veri ed implementation of the Scheme programming… 
1990
1990
Who Pays for the Children? A First Look at the Operation of Australia's New Child Support Scheme. Monograph No. 9.
This interim report on the implementation of Australia's Child Support Scheme and its short-term effects analyzes the entry… 
1969
1969
Principal homogeneous spaces for finite group schemes
Here, a Galois A-object is exactly what geometers mean by a principal homogeneous space (PHS) for Spec A over Spec R, the Extzar… 
1962
1962
A verified compiler for pure prescheme
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)