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)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
We use a labelled deduction system based on the concept of computational paths (sequences of rewrites) as equalities between two… 
Review
2018
Review
2018
One of the most interesting entities of homotopy type theory is the identity type. It gives rise to an interesting interpretation… 
2016
2016
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
We introduce a new way of formalizing the intensional identity type based on the notion of computational paths which will be… 
2010
2010
ABSTRACT ABSTRACT ABSTRACT In the present work, fast dissolving tablets of fex ofenadine hydrochloride were designed with a view… 
2005
2005
1° Neue Fundorte vonHarpagoxenus sublaevis Nyl. in Deutschland werden mitgeteilt (Nurnberg, Erlangen, Amberg, Bamberg… 
Highly Cited
2005
Highly Cited
2005
  • 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… 
1984
1984
O F THE MANY supplication scenes in Greek literature which have received close examination, the Odysseus-Arete episode in Odyssey… 
1976
1976
It is shown that allowance for the contribution of the two-photon state to the real part of the K/subL/..-->..2..mu.. decay…