External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Programming with enumerable sets of structures

Ivan Kuraj, Viktor Kuncak, Daniel Jackson. Programming with enumerable sets of structures. In Jonathan Aldrich, Patrick Eugster, editors, Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications. pages 37-56, ACM, 2015. [doi]

Authors

Ivan Kuraj

This author has not been identified. Look up 'Ivan Kuraj' in Google

Viktor Kuncak

This author has not been identified. Look up 'Viktor Kuncak' in Google

Daniel Jackson

This author has not been identified. Look up 'Daniel Jackson' in Google
runs on