Skip to search formSkip to main contentSkip to account menu

SubL

SubL is a programming language based on Common Lisp, which can be easily compiled into the C programming language. Modern implementations of SubL are… 
Wikipedia (opens in a new tab)

Related topics

Related topics

4 relations
Common LispCycInference engineProgramming language

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
A Topological Application of Labelled Natural Deduction
We use a labelled deduction system based on the concept of computational paths (sequences of rewrites) as equalities between two… 
Review
2018
Review
2018
On the Calculation of Fundamental Groups in Homotopy Type Theory by Means of Computational Paths
One of the most interesting entities of homotopy type theory is the identity type. It gives rise to an interesting interpretation… 
2016
2016
El ΠΆΘΟΣ com a motiu tràgic en els escolis i en les manifestacions artístiques d'època imperial: dansa i novel·la
El p????, entes com a emocio, com a afectacio, esta intimament relacionat amb la teoria d'Aristotil a proposit del que s'ha… 
2016
2016
Computational Paths and Identity Types
We introduce a new way of formalizing the intensional identity type based on the notion of computational paths which will be… 
2012
2012
Effect of sublethal concentration of Bacillus t / lllringiensis var . kurstaki on food and developmental needs of the American bollworm , HelicoveJpa armigera ( Ili . ibner )
Effect of sublethal concentration of B. rllllrillgic lIsis on the first, third, fourth and fifth instar larvae of the Ameri can… 
2010
2010
FORMULATION DESIGN OF FAST DISSOLVING TABLETS OF FEXOFENADINE HYDROCHLORIDE BY SUBLIMATION METHOD
ABSTRACT ABSTRACT ABSTRACT In the present work, fast dissolving tablets of fex ofenadine hydrochloride were designed with a view… 
1984
1984
The Rebirth of Odysseus
O F THE MANY supplication scenes in Greek literature which have received close examination, the Odysseus-Arete episode in Odyssey… 
1976
1976
Contribution of two-photon mechanism to the real part of the K/subL/. --> mu. mu-bar decay amplitude and estimates of the masses of charmed particles
It is shown that allowance for the contribution of the two-photon state to the real part of the K/subL/..-->..2..mu.. decay… 
1976
1976
Measurement of the CP-nonconserving decay, K$sup 0$/subL/ $Yields$ 2$pi$$sup 0$
The rate of the CP-nonconserving decay K$sup 0$/subL/ $Yields$ 2$pi$$sup 0$ has been measured using a monoenergetic K beam and a… 
1966
1966
Untersuchungen anHarpagoxenus Sublævis Nyl. (Hym., Formicidæ)
1° Neue Fundorte vonHarpagoxenus sublaevis Nyl. in Deutschland werden mitgeteilt (Nurnberg, Erlangen, Amberg, Bamberg… 
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)