Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX record journals/corr/abs-1202-2923
@inproceedings{DBLP:journals/corr/abs-1202-2923, author = {Vilhelm Sj{\"{o}}berg and Chris Casinghino and Ki Yung Ahn and Nathan Collins and Harley D. Eades III and Peng Fu and Garrin Kimmell and Tim Sheard and Aaron Stump and Stephanie Weirich}, editor = {James Chapman and Paul Blain Levy}, title = {Irrelevance, Heterogeneous Equality, and Call-by-value Dependent Type Systems}, booktitle = {Proceedings Fourth Workshop on Mathematically Structured Functional Programming, MSFP@ETAPS 2012, Tallinn, Estonia, 25 March 2012}, series = {{EPTCS}}, volume = {76}, pages = {112--162}, year = {2012}, url = {https://doi.org/10.4204/EPTCS.76.9}, doi = {10.4204/EPTCS.76.9}, timestamp = {Fri, 27 Dec 2019 21:15:10 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1202-2923.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.