Jump to main content

yr 〜
yr

Search results 89

POPL '13 : proceedings of 40th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages : January 23-25, 2013 : Rome, Italy : Jan 2013, Rome, Italy.

POPL '13 : proceedings of 40th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages : January 23-25, 2013 : Rome, Italy : Jan 2013, Rome, Italy.
Paper図書
Association for Computing Machinery[c2013].<M17-14-872>
National Diet Library
  • Additional Title...T symposium on principles of programming languages : January 23-2......T symposium on principles of programming languages : January 23-25, 2013, Rome, ...

POPL 2015 : POPL'15 : proceedings of the 42nd annual ACM SIGPLAN-SIGACT symposium on principles of programming languages : January 12-18, 2015 : Mumbai, India : POPL conference : Jan 2015, Mumbai, India.

POPL 2015 : POPL'15 : proceedings of the 42nd annual ACM SIGPLAN-SIGACT symposium on principles of programming languages : January 12-18, 2015 : Mumbai, India : POPL conference : Jan 2015, Mumbai, India.
Paper図書
The Association for Computing Machinery[2015]<M17-16-47>
National Diet Library
  • Author HeadingACM Symposium on Principles of Programming Languages (42nd : 2015 : Mumbai, India)

POPL'14 : proceedings of the 41st annual ACM SIGPLAN-SIGACT symposium on principles of programming languages : January 22-24, 2014 : San Diego, California, USA : POPL : Jan 2014, San Diego, CA.

POPL'14 : proceedings of the 41st annual ACM SIGPLAN-SIGACT symposium on principles of programming languages : January 22-24, 2014 : San Diego, California, USA : POPL : Jan 2014, San Diego, CA.
Paper図書
The Association for Computing Machinery[2014]<M17-14-3266>
National Diet Library
  • Author HeadingACM Symposium on Principles of Programming Languages (41st : 2014 : San Diego, Cal...

Functional and constraint logic programming : 19th international workshop, WFLP 2010 : Madrid, Spain, January 17, 2010 : revised selected papers. : ACM-SIGPLAN principles of programming languages event : POPL 2010 week : Jan 2010, Madrid, Spain. (Lecture Notes in Computer Science ; 6559)

Functional and constraint logic programming : 19th international workshop, WFLP 2010 : Madrid, Spain, January 17, 2010 : revised selected papers. : ACM-SIGPLAN principles of programming languages event : POPL 2010 week : Jan 2010, Madrid, Spain. (Lecture Notes in Computer Science ; 6559)
Paper図書
Springerc2011.<M17-11-2452>
National Diet Library

POPL'12 : proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages : January 25-27, 2012 : Philadelphia, PA, USA : Jan 2012, Philadelphia, PA.

POPL'12 : proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages : January 25-27, 2012 : Philadelphia, PA, USA : Jan 2012, Philadelphia, PA.
Paper図書
Association for Computing Machineryc2012.<M17-13-370>
National Diet Library
  • Author HeadingACM Symposium on Principles of Programming Languages (2012 : Philadelphia, Pa.)

38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages 2011 : (POPL 11) : Austin, Texas, USA : 26-28 January 2011. : Jan 2011, Austin, TX.

38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages 2011 : (POPL 11) : Austin, Texas, USA : 26-28 January 2011. : Jan 2011, Austin, TX.
Paper図書
Association for Computing Machineryc2011.<M17-11-2626>
National Diet Library
  • Author HeadingACM Symposium on Principles of Programming Languages (38th : 2011 : Austin, Texas)

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
  • Note (General)...h Symposium on Principles of Programming Languages, held Wednesday, January 20th...
  • Author HeadingPalsberg, Jens. ACM Symposium on Principles of Programming Languages (37th : 2010 : Madrid, Spain)

36th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages 2009 : (POPL 09) : Savannah, Georgia, USA : 21-23 January 2009. : Jan 2009, Savannah, GA.

36th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages 2009 : (POPL 09) : Savannah, Georgia, USA : 21-23 January 2009. : Jan 2009, Savannah, GA.
Paper図書
Association for Computing Machineryc2009.<M17-10-423>
National Diet Library
  • Author HeadingACM Symposium on Principles of Programming Languages (36th : 2009 : Savannah, Ga.)

POPL'08 : proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages : San Francisco, California, USA : January 7-12, 2008. : POPL 2008 : Jan 2008, San Francisco, CA.

POPL'08 : proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages : San Francisco, California, USA : January 7-12, 2008. : POPL 2008 : Jan 2008, San Francisco, CA.
Paper図書
Association for Computing Machineryc2008.<M17-08-1353>
National Diet Library
  • Note (General)...mposium on the Principles of Programming Languages, held Thursday 10-Saturday 12...
  • Alternative Title...T symposium on principles of programming languages : January 7-12, 2008, San Fra...
  • Alternative Title...T symposium on principles of programming languages : January 7-12, 2008, San Fra...

Conference record of POPL 2005: the 32nd ACM SIGPLAN-SIGACT symposium on principles of programming languages : papers presented at the symposium : January 12-14, 2005 : Long Beach, California, USA. : 32nd annual ACM SIGPLAN-SIGACT symposium on principles of programming languages : Jan 2005, Long Beach, CA.

Conference record of POPL 2005: the 32nd ACM SIGPLAN-SIGACT symposium on principles of programming languages : papers presented at the symposium : January 12-14, 2005 : Long Beach, California, USA. : 32nd annual ACM SIGPLAN-SIGACT symposium on principles of programming languages : Jan 2005, Long Beach, CA.
Paper図書
ACM Pressc2005.<M17-05-1237>
National Diet Library

Conference record of POPL 2007: the 34th ACM SIGPLAN-SIGACT symposium on principles of programming languages : papers presented at the symposium : January 17-19, 2007 French Riviera, Nice, France. : Jan 2007, Nice, France.

Conference record of POPL 2007: the 34th ACM SIGPLAN-SIGACT symposium on principles of programming languages : papers presented at the symposium : January 17-19, 2007 French Riviera, Nice, France. : Jan 2007, Nice, France.
Paper図書
ACMc2007.<M17-07-735>
National Diet Library

Conference record of POPL 2006: the 33rd ACM SIGPLAN-SIGACT symposium on principles of programming languages : papers presented at the symposium : January 11-13, 2006 : Charleston, South Carolina, USA. : Jan 2006, Charleston, SC.

Conference record of POPL 2006: the 33rd ACM SIGPLAN-SIGACT symposium on principles of programming languages : papers presented at the symposium : January 11-13, 2006 : Charleston, South Carolina, USA. : Jan 2006, Charleston, SC.
Paper図書
ACM Pressc2006.<M17-06-869>
National Diet Library

Conference record of POPL 2002: the 29th ACM SIGPLAN-SIGACT symposium on principles of programming languages : papers presented at the symposium : Portland, Oregon, 16-18 January 2002. : POPL '02 : 29th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages : Jan 2002, Portland, OR.

Conference record of POPL 2002: the 29th ACM SIGPLAN-SIGACT symposium on principles of programming languages : papers presented at the symposium : Portland, Oregon, 16-18 January 2002. : POPL '02 : 29th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages : Jan 2002, Portland, OR.
Paper図書
ACM Pressc2002.<M17-03-3228>
National Diet Library
  • Note (Additional Physical Form Available)...T Symposium on Principles of Programming Languages.
  • Author HeadingACM Symposium on Principles of Programming Languages (29th : 2002 : Portland, Or.)

Conference recoed of POPL 2004: the 31st ACM SIGPLAN-SIGACT symposium on principles of programming languages : papers presented at the symposium : Venice, Italy : January 14-16, 2003. : Jan 2003, Venice, Italy.

Conference recoed of POPL 2004: the 31st ACM SIGPLAN-SIGACT symposium on principles of programming languages : papers presented at the symposium : Venice, Italy : January 14-16, 2003. : Jan 2003, Venice, Italy.
Paper図書
ACM Pressc2004.<M17-04-2174>
National Diet Library

Conference record of POPL 2003: the 30th ACM SIGPLAN-SIGACT symposium on principles of programming languages : papers presented at the symposium : New Orleans, Louisiana, USA, January 15-17, 2003. : Jan 2003, New Orleans, LA.

Conference record of POPL 2003: the 30th ACM SIGPLAN-SIGACT symposium on principles of programming languages : papers presented at the symposium : New Orleans, Louisiana, USA, January 15-17, 2003. : Jan 2003, New Orleans, LA.
Paper図書
Association for Computing Machineryc2003.<M17-03-1178>
National Diet Library

プログラミング言語の原理 (コンピュータ・サイエンス研究書シリーズ ; 6)

プログラミング言語の原理 (コンピュータ・サイエンス研究書シリーズ ; 6)
PaperDigital図書障害者向け資料あり
R.D.Tennent 著, 竹下亨 訳日本コンピュータ協会1985.7<M159-1906>
Available onlineNational Diet LibraryOther Libraries in Japan
  • Note (General)原タイトル: Principles of programming languages
  • Additional TitlePrinciples of programming languages

Principles of programming languages : 19th Annual symposium : Jan 1992, Albuquerque, NM.

Principles of programming languages : 19th Annual symposium : Jan 1992, Albuquerque, NM.
Paper図書
ACM1992.<M17-92-1495>
National Diet Library

Principles of programming languages : 17th Annual symposium : Jan 1990, San Francisco, CA.

Principles of programming languages : 17th Annual symposium : Jan 1990, San Francisco, CA.
Paper図書
ACM1990.<M17-90-1257>
National Diet Library

Principles of programming languages : 16th Annual symposium : Jan 1989, Austin, TX.

Principles of programming languages : 16th Annual symposium : Jan 1989, Austin, TX.
Paper図書
ACM1989.<M17-89-1018>
National Diet Library

Principles of programming languages : 15th Annual symposium : Jan 1988, San Diego, CA.

Principles of programming languages : 15th Annual symposium : Jan 1988, San Diego, CA.
Paper図書
Association for Computing Machinery1988.<M17-88-1112>
National Diet Library
RSS