BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Poland
1 × Spain
Collaborated with:
G.Nadathur K.Chaudhuri P.Wilke Z.Shao A.Gacek
Talks about:
approach (2) abstract (2) verifi (2) higher (2) proof (2) order (2) transform (1) polymorph (1) character (1) independ (1)

Person: Yuting Wang

DBLP DBLP: Wang:Yuting

Contributed to:

TLCA 20152015
PPDP 20132013
ESOP 20162016
PPDP 20182018
POPL 20192019

Wrote 5 papers:

TLCA-2015-WangC #independence #type system
A Proof-theoretic Characterization of Independence in Type Theory (YW, KC), pp. 332–346.
PPDP-2013-WangCGN #higher-order #reasoning #relational #specification
Reasoning about higher-order relational specifications (YW, KC, AG, GN), pp. 157–168.
ESOP-2016-WangN #approach #functional #higher-order #source code #syntax
A Higher-Order Abstract Syntax Approach to Verified Transformations on Functional Programs (YW, GN), pp. 752–779.
PPDP-2018-NadathurW #morphism #polymorphism #proving
Schematic Polymorphism in the Abella Proof Assistant (GN, YW), p. 13.
POPL-2019-WangWS #approach #compilation #composition #stack
An abstract stack based approach to verified compositional compilation to machine code (YW, PW, ZS), p. 30.
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.