yr 〜
yr

Search results 196

Functional and logic programming : 16th international symposium, FLOPS 2022 : Kyoto, Japan, May 10-12, 2022 : proceedings : May 2022, Kyoto, Japan. (Lecture Notes in Computer Science ; 13215)

Functional and logic programming : 16th international symposium, FLOPS 2022 : Kyoto, Japan, May 10-12, 2022 : proceedings : May 2022, Kyoto, Japan. (Lecture Notes in Computer Science ; 13215)
Paper図書
Springer[2022]<M17-24-12>
National Diet LibraryOther Libraries in Japan
  • Subject HeadingFunctional programming (Computer science)--Congresses. L......g--Congresses. Functional programming (Computer science) Logic programming.

Functional and logic programming : 14th international symposium, FLOPS 2018 : Nagoya, Japan, May 9-11, 2018 : proceedings : May 2018, Nagoya, Japan. (Lecture Notes in Computer Science ; 10818)

Functional and logic programming : 14th international symposium, FLOPS 2018 : Nagoya, Japan, May 9-11, 2018 : proceedings : May 2018, Nagoya, Japan. (Lecture Notes in Computer Science ; 10818)
Paper図書
Springer[2018]<M17-20-852>
National Diet Library
  • Subject HeadingFunctional programming (Computer science)--Congresses. L......g--Congresses. Functional programming (Computer science) Logic programming.

Functional and logic programming : 15th international symposium, FLOPS 2020 : Akita, Japan, September 14-16, 2020 : proceedings : Sep 2020, ------. (Lecture Notes in Computer Science ; 12073)

Functional and logic programming : 15th international symposium, FLOPS 2020 : Akita, Japan, September 14-16, 2020 : proceedings : Sep 2020, ------. (Lecture Notes in Computer Science ; 12073)
Paper図書
Springer[2020]<M17-22-586>
National Diet LibraryOther Libraries in Japan
  • Subject HeadingFunctional programming (Computer science)--Congresses. L......que--Congrès. Functional programming (Computer science) Logic programming.

Functional and logic programming : 13th international symposium, FLOPS 2016 : Kochi, Japan, March 4-6, 2016 : proceedings : Mar 2016, Kochi, Japan. (Lecture Notes in Computer Science ; 9613)

Functional and logic programming : 13th international symposium, FLOPS 2016 : Kochi, Japan, March 4-6, 2016 : proceedings : Mar 2016, Kochi, Japan. (Lecture Notes in Computer Science ; 9613)
Paper図書
Springer[2016]<M17-20-870>
National Diet Library
  • Subject HeadingFunctional programming (Computer science)--Congresses. L......g--Congresses. Functional programming (Computer science) Logic programming.

Functional and logic programming : 12th international symposium, FLOPS 2014 : Kanazawa, Japan, June 4-6, 2014 : proceedings : FLOPS meetings : Jun 2014, Kanazawa, Japan. (Lecture Notes in Computer Science ; 8475)

Functional and logic programming : 12th international symposium, FLOPS 2014 : Kanazawa, Japan, June 4-6, 2014 : proceedings : FLOPS meetings : Jun 2014, Kanazawa, Japan. (Lecture Notes in Computer Science ; 8475)
Paper図書
Springer[2014]<M17-15-1475>
National Diet Library
  • Subject HeadingFunctional programming (Computer science)--Congresses. L......g--Congresses. Functional programming (Computer science) Logic programming.

ICFP'14 : proceedings of the 2014 ACM SIGPLAN international conference on functional programming : September 1-3, 2014 : Gothenburg, Sweden : 19th ACM SIGPLAN international conference on functional programming: ICFP 2014 : ICFP14 : Sep 2014, Gothenburg, Sweden.

ICFP'14 : proceedings of the 2014 ACM SIGPLAN international conference on functional programming : September 1-3, 2014 : Gothenburg, Sweden : 19th ACM SIGPLAN international conference on functional programming: ICFP 2014 : ICFP14 : Sep 2014, Gothenburg, Sweden.
Paper図書
The Association for Computing Machinery[2014]<M17-15-1843>
National Diet Library
  • Subject HeadingFunctional programming (Computer science)--Congresses. F......s--Congresses. Functional programming (Computer science) Functional programming langua...

The beauty of functional code : essays dedicated to Rinus Plasmeijer on the occasion of his 61st birthday : 25th symposium on implementation and application of functional languages : international IFL meetings : 25th IFL conference : IFL 2013 : Aug 2013, Nijmegen, the Netherlands. (Lecture Notes in Computer Science ; 8106. Lecture Notes in Artificial Intelligence. Festschrift)

The beauty of functional code : essays dedicated to Rinus Plasmeijer on the occasion of his 61st birthday : 25th symposium on implementation and application of functional languages : international IFL meetings : 25th IFL conference : IFL 2013 : Aug 2013, Nijmegen, the Netherlands. (Lecture Notes in Computer Science ; 8106. Lecture Notes in Artificial Intelligence. Festschrift)
Paper図書
Springerc2013.<M17-14-700>
National Diet Library
  • Subject HeadingFunctional programming (Computer science)--Congresses.

Trends in functional programming : 11th international symposium, TFP 2010 : Norman, OK, USA, May 17-19, 2010 : revised selected papers : May 2010, Norman, OK. (Lecture Notes in Computer Science ; 6546)

Trends in functional programming : 11th international symposium, TFP 2010 : Norman, OK, USA, May 17-19, 2010 : revised selected papers : May 2010, Norman, OK. (Lecture Notes in Computer Science ; 6546)
Paper図書
Springerc2011.<M17-12-1124>
National Diet Library
  • Subject HeadingFunctional programming (Computer science)--Congresses.

Central European functional programming school : third summer school, CEFP 2009 : Budapest, Hungary, May 21-23, 2009 and Komarno, Slovakia, May 25-30, 2009 : revised selected lectures. : summer school's PhD workshop : May 2009, Komarno, Slovakia. (Lecture Notes in Computer Science ; 6299. Tutorial)

Central European functional programming school : third summer school, CEFP 2009 : Budapest, Hungary, May 21-23, 2009 and Komarno, Slovakia, May 25-30, 2009 : revised selected lectures. : summer school's PhD workshop : May 2009, Komarno, Slovakia. (Lecture Notes in Computer Science ; 6299. Tutorial)
Paper図書
Springerc2010.<M17-11-2032>
National Diet Library
  • Subject HeadingFunctional programming (Computer science) -- Congresses.

Trends in functional programming : 14th international symposium, TFP 2013 : Provo, UT, USA, May 14-16, 2013 : revised selected papers : May 2013, Provo, UT. (Lecture Notes in Computer Science ; 8322)

Trends in functional programming : 14th international symposium, TFP 2013 : Provo, UT, USA, May 14-16, 2013 : revised selected papers : May 2013, Provo, UT. (Lecture Notes in Computer Science ; 8322)
Paper図書
Springerc2014.<M17-14-1759>
National Diet Library
  • Subject HeadingFunctional programming (Computer science)--Congresses. Logic design--Co...

Trends in functional programming : 15th international symposium, TFP 2014 : Soesterberg, the Netherlands, May 26-28, 2014 : revised selected papers : TFP2014 : May 2014, Soesterberg, the Netherlands. (Lecture Notes in Computer Science ; 8843)

Trends in functional programming : 15th international symposium, TFP 2014 : Soesterberg, the Netherlands, May 26-28, 2014 : revised selected papers : TFP2014 : May 2014, Soesterberg, the Netherlands. (Lecture Notes in Computer Science ; 8843)
Paper図書
Springer[2015]<M17-15-1652>
National Diet Library
  • Subject HeadingFunctional programming (Computer science)--Congresses. Logic design--Co...

ICFP'13 : proceedings of the 2013 ACM SIGPLAN international conference on functional programming : September 25-27, 2013 : Boston, Massachusetts, USA : 18th ACM SIGPLAN international conference on functional programming : ICFP '13 : Sep 2013, Boston, MA.

ICFP'13 : proceedings of the 2013 ACM SIGPLAN international conference on functional programming : September 25-27, 2013 : Boston, Massachusetts, USA : 18th ACM SIGPLAN international conference on functional programming : ICFP '13 : Sep 2013, Boston, MA.
Paper図書
Association for Computing Machineryc2013.<M17-14-1856>
National Diet Library
  • Subject Heading...e--Congresses. Functional programming (Computer science)--Congresses.

Central European functional programming school : second summer school, CEFP 2007 : Cluj-Napoca, Romania, June 23-30, 2007 : revised selected lectures. : short course on omega : Central-European functional programming school : Jun 2007, Cluj-Napoca, Romania. (Lecture Notes in Computer Science ; 5161. Tutorial)

Central European functional programming school : second summer school, CEFP 2007 : Cluj-Napoca, Romania, June 23-30, 2007 : revised selected lectures. : short course on omega : Central-European functional programming school : Jun 2007, Cluj-Napoca, Romania. (Lecture Notes in Computer Science ; 5161. Tutorial)
Paper図書
Springerc2008.<M17-09-917>
National Diet Library
  • Subject HeadingFunctional programming (Computer science) -- Congresses.

関数型デザイン : 原則、パターン、実践

関数型デザイン : 原則、パターン、実践
PaperDigital図書
Robert C.Martin 著, 角征典 訳ドワンゴ2024.5<M159-R136>
National Diet LibraryOther Libraries in Japan
  • Authority（Subject Heading/altLabel）関数プログラミング Functional programming (Computer science)

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
  • Subject HeadingFunctional programming (Computer science) -- Congresses. Constraint pro...

Functional and constraint logic programming : 20th international workshop, WFLP 2011 : Odense, Denmark, July 19, 2011 : proceedings : Jul 2011, Odense, Denmark. (Lecture Notes in Computer Science ; 6816)

Functional and constraint logic programming : 20th international workshop, WFLP 2011 : Odense, Denmark, July 19, 2011 : proceedings : Jul 2011, Odense, Denmark. (Lecture Notes in Computer Science ; 6816)
Paper図書
Springerc2011.<M17-12-423>
National Diet Library
  • Subject HeadingFunctional programming (Computer science)--Congresses. Constraint progr...

MSFP'10 : proceedings of the 2010 ACM SIGPLAN workshop on mathematically structured functional programming : September 25, 2010 : Baltimore, Maryland, USA : co-located with: ICFP'10. : 3rd workshop on mathematically structured functional programming (MSFP 2010) : international conference on functional programming (ICFP) : Sep 2010, Baltimore, MD.

MSFP'10 : proceedings of the 2010 ACM SIGPLAN workshop on mathematically structured functional programming : September 25, 2010 : Baltimore, Maryland, USA : co-located with: ICFP'10. : 3rd workshop on mathematically structured functional programming (MSFP 2010) : international conference on functional programming (ICFP) : Sep 2010, Baltimore, MD.
Paper図書
Association for Computing Machineryc2010.<M17-11-2252>
National Diet Library
  • Subject HeadingFunctional programming (Computer science) -- Congresses. Functional pro...

なっとく!関数型プログラミング : 関数型プログラミングの基本概念の全容を把握し活用したい開発者に

なっとく!関数型プログラミング : 関数型プログラミングの基本概念の全容を把握し活用したい開発者に
Paper図書
Michał Płachta 著, クイープ 監訳翔泳社2023.8<M159-M1182>
National Diet LibraryOther Libraries in Japan
  • Authority（Subject Heading/altLabel）関数プログラミング Functional programming (Computer science)

関数型ドメインモデリング : ドメイン駆動設計とF#でソフトウェアの複雑さに立ち向かおう

関数型ドメインモデリング : ドメイン駆動設計とF#でソフトウェアの複雑さに立ち向かおう
PaperDigital図書
Scott Wlaschin 著, 猪股健太郎 訳ドワンゴ2024.6<M154-R85>
National Diet LibraryOther Libraries in Japan
  • Authority（Subject Heading/altLabel）System design 関数プログラミング Functional programming (Computer science)

ICFP'12 : proceedings of the 2012 ACM SIGPLAN international conference on functional programming : September 9-15, 2012 : Copenhagen, Denmark : 17th ACM SIGPLAN international conference on functional programming: ICFP 2012 : ICFP week : Sep 2012, Copenhagen, Denmark.

ICFP'12 : proceedings of the 2012 ACM SIGPLAN international conference on functional programming : September 9-15, 2012 : Copenhagen, Denmark : 17th ACM SIGPLAN international conference on functional programming: ICFP 2012 : ICFP week : Sep 2012, Copenhagen, Denmark.
Paper図書
Association for Computing Machineryc2012.<M17-14-239>
National Diet Library
  • Subject Heading...e--Congresses. Functional programming (Computer science)--Congresses.