Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX record conf/ifipTCS/OuTMW04
@inproceedings{DBLP:conf/ifipTCS/OuTMW04, author = {Xinming Ou and Gang Tan and Yitzhak Mandelbaum and David Walker}, editor = {Jean{-}Jacques L{\'{e}}vy and Ernst W. Mayr and John C. Mitchell}, title = {Dynamic Typing with Dependent Types}, booktitle = {Exploring New Frontiers of Theoretical Informatics, {IFIP} 18th World Computer Congress, {TC1} 3rd International Conference on Theoretical Computer Science (TCS2004), 22-27 August 2004, Toulouse, France}, series = {{IFIP}}, volume = {155}, pages = {437--450}, publisher = {Kluwer/Springer}, year = {2004}, url = {https://doi.org/10.1007/1-4020-8141-3\_34}, doi = {10.1007/1-4020-8141-3\_34}, timestamp = {Fri, 09 Apr 2021 18:40:01 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/OuTMW04.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.