Author:
Heidegger Phillip,Thiemann Peter
Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. Lecture Notes in Computer Science;P. Heidegger,2010
2. Heidegger, P., Bieniusa, A., Thiemann, P.: Access permission contracts. Submitted for publication (2010),
http://proglang.informatik.uni-freiburg.de/jscontest/
3. Fredkin, E.: Trie memory. Communications of the ACM 3, 490–499 (1960)
4. Gifford, D., Lucassen, J.: Integrating functional and imperative programming. In: Proc. 1986 ACM Conf. on Lisp and Functional Programming, pp. 28–38 (1986)
5. Talpin, J.P., Jouvelot, P.: The type and effect discipline. Information and Computation 111(2), 245–296 (1994)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献