Jump to main content

yr 〜
yr

Search results 2

POPL'10 : proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages : January 17-23, 2010 : Madrid, Spain. : Jan 2010, Madrid, Spain.

POPL'10 : proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages : January 17-23, 2010 : Madrid, Spain. : Jan 2010, Madrid, Spain.
Paper図書
Association for Computing Machineryc2010.<M17-10-3718>
National Diet Library
  • Author HeadingPalsberg, Jens. ACM Symposium on Principles of Programming Languages (37th : 2010 : Madrid, Spain)

PLPV'10 : proceedings of the 2010 ACM SIGPLAN workshop on programming languages meets program verification : January 19, 2010 : Madrid, Spain. : programming languages meet program verification workshop 2010 : PLPV 10 : Jan 2010, Madrid, Spain.

PLPV'10 : proceedings of the 2010 ACM SIGPLAN workshop on programming languages meets program verification : January 19, 2010 : Madrid, Spain. : programming languages meet program verification workshop 2010 : PLPV 10 : Jan 2010, Madrid, Spain.
Paper図書
Association for Computing Machineryc2010.<M17-10-2488>
National Diet Library
  • Author Heading...Madrid, Spain) ACM Symposium on Principles of Programming Languages (37th : 2010 : Madrid, Spain)

Reached to the end of result.

RSS