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 × Croatia
1 × Cyprus
1 × Italy
1 × Japan
2 × Canada
2 × United Kingdom
3 × Austria
Collaborated with:
J.C.Blanchette D.Traytel E.L.Gunter S.Kanav P.Lammich C.J.Osborn T.Serbanuta G.Rosu S.Böhme N.Smallbone V.Roto A.Koivisto E.Vartiainen
Talks about:
coinduct (2) foundat (2) datatyp (2) system (2) logic (2) confidenti (1) substitut (1) polymorph (1) monomorph (1) increment (1)

Person: Andrei Popescu

DBLP DBLP: Popescu:Andrei

Contributed to:

ESOP 20152015
ICFP 20152015
CAV 20142014
IJCAR 20142014
TACAS 20132013
LICS 20122012
ICFP 20112011
FOSSACS 20102010
LICS 20102010
CHI 20062006
FoSSaCS 20062006

Wrote 11 papers:

ESOP-2015-Blanchette0T #data type
Witnessing (Co)datatypes (JCB, AP, DT), pp. 359–382.
ICFP-2015-Blanchette0T #perspective #proving #recursion
Foundational extensible corecursion: a proof assistant perspective (JCB, AP, DT), pp. 192–204.
CAV-2014-KanavL0 #documentation
A Conference Management System with Verified Document Confidentiality (SK, PL, AP), pp. 167–183.
IJCAR-2014-Blanchette0T #induction #logic
Unified Classical Logic Completeness — A Coinductive Pearl (JCB, AP, DT), pp. 46–60.
TACAS-2013-BlanchetteBPS #encoding #polymorphism
Encoding Monomorphic and Polymorphic Types (JCB, SB, AP, NS), pp. 493–507.
LICS-2012-TraytelPB #category theory #composition #data type #higher-order #logic #proving #theorem proving
Foundational, Compositional (Co)datatypes for Higher-Order Logic: Category Theory Applied to Theorem Proving (DT, AP, JCB), pp. 596–605.
ICFP-2011-PopescuG #recursion #syntax
Recursion principles for syntax with bindings and substitution (AP, ELG), pp. 346–358.
FoSSaCS-2010-PopescuG #algebra #formal method #incremental #induction #process
Incremental Pattern-Based Coinduction for Process Algebra and Its Isabelle Formalization (AP, ELG), pp. 109–127.
LICS-2010-PopescuGO #normalisation #system f
Strong Normalization for System F by HOAS on Top of FOAS (AP, ELG, CJO), pp. 31–40.
CHI-2006-RotoPKV #mobile #named #visualisation #web
Minimap: a web page visualization method for mobile phones (VR, AP, AK, EV), pp. 35–44.
FoSSaCS-2006-PopescuSR #approach #semantics
A Semantic Approach to Interpolation (AP, TS, GR), pp. 307–321.

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.