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 × Denmark
1 × Estonia
Collaborated with:
M.P.Jones R.Leslie J.Launchbury T.DuBuisson A.Adams-Moran
Talks about:
level (3) function (2) program (2) languag (2) type (2) multiparti (1) represent (1) structur (1) protocol (1) system (1)

Person: Iavor S. Diatchki

DBLP DBLP: Diatchki:Iavor_S=

Facilitated 2 volumes:

SLE 2013PrCo
Haskell 2017Ed

Contributed to:

ICFP 20122012
ICFP 20052005
Haskell 20062006
Haskell 20082008
Haskell 20152015

Wrote 5 papers:

ICFP-2012-LaunchburyDDA #multi #performance #protocol
Efficient lookup-table protocol in secure multiparty computation (JL, ISD, TD, AAM), pp. 189–200.
ICFP-2005-DiatchkiJL #low level
High-level views on low-level representations (ISD, MPJ, RL), pp. 168–179.
Haskell-2006-DiatchkiJ #data type #functional #memory management #programming
Strongly typed memory areas programming systems-level data structures in a functional language (ISD, MPJ), pp. 72–83.
Haskell-2008-JonesD #dependence #design #functional
Language and program design for functional dependencies (MPJ, ISD), pp. 87–98.
Haskell-2015-Diatchki #haskell #smt
Improving Haskell types with SMT (ISD), pp. 1–10.

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.