BibTeX record conf/icfp/InnesW19

download as .bib file

@inproceedings{DBLP:conf/icfp/InnesW19,
  author    = {Sean Innes and
               Nicolas Wu},
  title     = {Tic tac types: a gentle introduction to dependently typed programming
               (functional pearl)},
  booktitle = {TyDe@ICFP},
  pages     = {40--51},
  publisher = {{ACM}},
  year      = {2019}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics