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 × France
1 × Italy
1 × USA
Collaborated with:
J.Hickey A.Kopylov W.Mansky A.W.Appel X.Yu S.Schmitt L.Lorigo C.Kreitz
Talks about:
represent (1) proposit (1) principl (1) interact (1) theorem (1) scalabl (1) reflect (1) process (1) connect (1) verifi (1)

Person: Aleksey Nogin

DBLP DBLP: Nogin:Aleksey

Contributed to:

FASE 20062006
ICFP 20062006
CSL 20012001
IJCAR 20012001
OOPSLA 20172017

Wrote 5 papers:

FASE-2006-HickeyN #design #process #scalability
: Designing a Scalable Build Process (JH, AN), pp. 63–78.
ICFP-2006-HickeyNYK #hybrid #representation #using
Mechanized meta-reasoning using a hybrid HOAS/de bruijn representation and reflection (JH, AN, XY, AK), pp. 172–183.
CSL-2001-KopylovN #markov #type system
Markov’s Principle for Propositional Type Theory (AK, AN), pp. 570–584.
IJCAR-2001-SchmittLKN #interactive #proving #theorem proving
JProver : Integrating Connection-Based Theorem Proving into Interactive Proof Assistants (SS, LL, CK, AN), pp. 421–426.
A verified messaging system (WM, AWA, AN), p. 28.

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.