Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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… Expand
Wikipedia

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… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
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… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
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… Expand
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… Expand
2010
2010
Impairment of unconscious, but not conscious, gaze-triggered attention orienting in Asperger's disorder
Abstract Impairment of joint attention represents the core clinical features of pervasive developmental disorders (PDDs… Expand
  • figure 1
  • figure 2
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… Expand
2005
2005
Untersuchungen anHarpagoxenus Sublævis Nyl. (Hym., Formicidæ)
1° Neue Fundorte vonHarpagoxenus sublaevis Nyl. in Deutschland werden mitgeteilt (Nurnberg, Erlangen, Amberg, Bamberg… Expand
Highly Cited
2005
Highly Cited
2005
Die Sichtbarmachung der bakteriophagen Lyse im Übermikroskop
  • H. Ruska
  • Naturwissenschaften
  • 2005
    • Corpus ID: 34287818
meistens geschmolzene Graupelk6rper, die sich aus den Eiskristal len du tch AnIagern yon weiteren Kristal len und unterkf ihl ten… Expand
  • figure 3
  • figure 2
  • figure 4
  • figure 5
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… Expand
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… Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License
ACCEPT & CONTINUE