BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
1 × Japan
Collaborated with:
D.R.Ghica S.Singh
Talks about:
synthesi (1) geometri (1) resourc (1) hardwar (1) static (1) recurs (1) linear (1) compil (1) semir (1) bound (1)

Person: Alex I. Smith

DBLP DBLP: Smith:Alex_I=

Contributed to:

ESOP 20142014
ICFP 20112011

Wrote 2 papers:

ESOP-2014-GhicaS #bound #linear
Bounded Linear Types in a Resource Semiring (DRG, AIS), pp. 331–350.
ICFP-2011-GhicaSS #compilation #geometry #hardware #recursion #synthesis
Geometry of synthesis iv: compiling affine recursion into static hardware (DRG, AIS, SS), pp. 221–233.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.