Author:
Hoey James,Lanese Ivan,Nishida Naoki,Ulidowski Irek,Vidal Germán
Publisher
Springer International Publishing
Reference51 articles.
1. Lecture Notes in Computer Science;S Abramov,2002
2. Altenkirch, T., Grattage, J.: A functional quantum programming language. In: Proceedings of the 20th IEEE Symposium on Logic in Computer Science (LICS 2005), pp. 249–258. IEEE Computer Society (2005).
https://doi.org/10.1109/LICS.2005.1
3. Britton, T., Jeng, L., Carver, G., Cheak, P., Katzenellenbogen, T.: Reversible debugging software - quantify the time and cost saved using reversible debuggers (2012).
http://www.roguewave.com
4. Cardelli, L., Laneve, C.: Reversible structures. In: Fages, F. (ed.) Proceedings of the 9th International Conference on Computational Methods in Systems Biology (CMSB 2011), pp. 131–140. ACM (2011).
https://doi.org/10.1145/2037509.2037529
5. Carlsson, R., et al.: Core Erlang 1.0.3. language specification (2004).
https://www.it.uu.se/research/group/hipe/cerl/doc/core_erlang-1.0.3.pdf
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献