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 × Austria
1 × Portugal
1 × Serbia
1 × United Kingdom
Collaborated with:
F.v.Doorn F.Blanqui S.Conchon G.Melquiond M.Iguernelala
Talks about:
type (3) theori (2) treatment (1) structur (1) between (1) axiomat (1) termin (1) system (1) solver (1) semant (1)

Person: Cody Roux

DBLP DBLP: Roux:Cody

Contributed to:

RTA-TLCA 20142014
SMT 20122012
RTA 20112011
CSL 20092009

Wrote 4 papers:

RTA-TLCA-2014-RouxD #type system
The Structural Theory of Pure Type Systems (CR, FvD), pp. 364–378.
SMT-2012-ConchonMRI #axiom #float #smt
Built-in Treatment of an Axiomatic Floating-Point Theory for SMT Solvers (SC, GM, CR, MI), pp. 12–21.
RTA-2011-Roux #dependence #higher-order #refinement
Refinement Types as Higher-Order Dependency Pairs (CR), pp. 299–312.
CSL-2009-BlanquiR #on the #semantics #termination
On the Relation between Sized-Types Based Termination and Semantic Labelling (FB, CR), pp. 147–162.

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.