yr 〜
yr

Search results 266

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 scie......g--Congresses. Functional programming (Computer science) Logic prog...

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 scie......g--Congresses. Functional programming (Computer science) Logic prog...

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 scie......que--Congrès. Functional programming (Computer science) Logic prog...

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 scie......)--Congresses. Functional programming languages--Congresses. Functional programming (Computer science) Functional programming languages.
  • Alternative Title... conference on functional programming : September 25...... conference on functional programming Sept. 25-27, 2013, Boston, Ma...
  • Alternative Title... conference on functional programming : September 25...... conference on functional programming Sept. 25-27, 2013, Boston, Ma...

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 scie......g--Congresses. Functional programming (Computer science) Logic prog...

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 scie......g--Congresses. Functional programming (Computer science) Logic prog...

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 HeadingFunctional programming languages--Con......e--Congresses. Functional programming (Computer science)--Congresse...
  • Additional Title... conference on functional programming Sept. 25-27, 2013, Boston, Ma...
  • Author Heading... Conference on Functional Programming (18th : 2013 : Boston, Mass.)...

Implementation and application of functional languages : 24th international symposium, IFL 2012 : Oxford, UK, August 30-September 1, 2012 : revised selected papers : Aug 2012, Oxford, UK. (Lecture Notes in Computer Science ; 8241)

Implementation and application of functional languages : 24th international symposium, IFL 2012 : Oxford, UK, August 30-September 1, 2012 : revised selected papers : Aug 2012, Oxford, UK. (Lecture Notes in Computer Science ; 8241)
Paper図書
Springerc2013.<M17-14-1310>
National Diet Library
  • Subject HeadingFunctional programming languages--Congresses.

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)--Congresse...

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 HeadingFunctional programming languages--Con......e--Congresses. Functional programming (Computer science)--Congresse...
  • Additional Title... conference on functional programming Sept. 9-15, 2012, Copenhagen,...
  • Author Heading... Conference on Functional Programming (17th : 2012 : Copenhagen, De...

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 scie......-- Congresses. Functional programming languages -- Congresses.
  • Author Heading...lly Structured Functional Programming (3rd : 2010 : ...... Conference on Functional Programming (2010 : Baltimore, Md.)

14th ACM SIGPLAN international conference on functional programming 2009 : (ICFP 2009) : Edinburgh, Scotland, UK : 31 August-2 September 2009. : Aug 2009, Edinburgh, UK.

14th ACM SIGPLAN international conference on functional programming 2009 : (ICFP 2009) : Edinburgh, Scotland, UK : 31 August-2 September 2009. : Aug 2009, Edinburgh, UK.
Paper図書
Association for Computing Machineryc2009.<M17-10-2442>
National Diet Library
  • Subject HeadingFunctional programming (Computer scie......-- Congresses. Functional programming languages -- Congresses.
  • Author HeadingACM SIGPLAN International Conference on Functional Programming (14th : 2009 : Edinburgh, Sco...

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)--Congresse...

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) -- Congres...
  • Note (General)...m on Trends in Functional Programming, TFP 2009." -- backcover.
  • Alternative TitleCentral European functional programming school : 3rd s......ntral European functional programming school : third summer school,...

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)--Congresse...
  • Author Heading...m on Trends in Functional Programming (14th : 2013 : Provo, Utah) M...

ICFP'07 : proceedings of the 2007 ACM SIGPLAN international conference on functional programming : Freiburg, Germany : October 1-3, 2007. : ICFP 2007 : 12th ACM SIGPLAN international conference on functional programming : Oct 2007, Freiburg, Germany.

ICFP'07 : proceedings of the 2007 ACM SIGPLAN international conference on functional programming : Freiburg, Germany : October 1-3, 2007. : ICFP 2007 : 12th ACM SIGPLAN international conference on functional programming : Oct 2007, Freiburg, Germany.
Paper図書
Association for Computing Machineryc2007.<M17-08-46>
National Diet Library
  • Subject HeadingFunctional programming (Computer scie......-- Congresses. Functional programming languages -- Congresses.
  • Author HeadingACM SIGPLAN International Conference on Functional Programming (12th : 2007 : Freiburg, Germ...

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

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

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)--Congresse...
  • Author Heading...m on Trends in Functional Programming (15th : 2014 : Soesterberg, t...

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

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

関数型ドメインモデリング : ドメイン駆動設計と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)