Jump to main content

yr 〜
yr

Search results 80

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 Heading...)--Congresses. Functional programming languages--Congresses. F......puter science) Functional programming languages.

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.

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--Congresses. Computer archite...

Implementation and application of functional languages : 21st international symposium, IFL 2009 : South Orange, NJ, USA, September 23-25, 2009 : revised selected papers. : Sep 2009, South Orange, NJ. (Lecture Notes in Computer Science ; 6041)

Implementation and application of functional languages : 21st international symposium, IFL 2009 : South Orange, NJ, USA, September 23-25, 2009 : revised selected papers. : Sep 2009, South Orange, NJ. (Lecture Notes in Computer Science ; 6041)
Paper図書
Springerc2010.<M17-11-2029>
National Diet Library
  • Subject HeadingFunctional programming languages -- Congresses. Funktionale Pr...

Implementation and application of functional languages : 18th international symposium, IFL 2006 : Budapest, Hungary, September 4-6, 2006 : revised selected papers. : Sep 2006, Budapest, Hungary. (Lecture Notes in Computer Science ; 4449)

Implementation and application of functional languages : 18th international symposium, IFL 2006 : Budapest, Hungary, September 4-6, 2006 : revised selected papers. : Sep 2006, Budapest, Hungary. (Lecture Notes in Computer Science ; 4449)
Paper図書
Springerc2007.<M17-07-2713>
National Diet Library
  • Subject HeadingFunctional programming languages -- Congresses.

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 Heading...-- Congresses. Functional programming languages -- Congresses.

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--Congresses. Computer archite...

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 Heading...-- Congresses. Functional programming languages -- Congresses.

Implementation of functional languages : 15th international workshop, IFL 2003 : Edinburgh, UK, September 8-11, 2003 : revised papers. : Sep 2003, Edinburgh, UK. (Lecture Notes in Computer Science ; 3145)

Implementation of functional languages : 15th international workshop, IFL 2003 : Edinburgh, UK, September 8-11, 2003 : revised papers. : Sep 2003, Edinburgh, UK. (Lecture Notes in Computer Science ; 3145)
Paper図書
Springerc2004.<M17-05-884>
National Diet Library
  • Subject HeadingFunctional programming languages -- Congresses.

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 LibraryOther Libraries in Japan
  • Subject Heading...-- Congresses. Functional programming languages -- Congresses.

Implementation of functional languages : 14th international workshop, IFL 2002 : Madrid, Spain, September 16-18, 2002 : revised selected papers. : Sep 2002, Madrid, Spain. (Lecture Notes in Computer Science ; 2670)

Implementation of functional languages : 14th international workshop, IFL 2002 : Madrid, Spain, September 16-18, 2002 : revised selected papers. : Sep 2002, Madrid, Spain. (Lecture Notes in Computer Science ; 2670)
Paper図書
Springerc2003.<M17-04-461>
National Diet Library
  • Subject HeadingFunctional programming languages -- Congresses.

ICFP'06 : proceedings of the eleventh ACM SIGPLAN international conference on functional programming : September 18-20, 2006 Portland, Oregon, USA. : ICFP 2006 : Sep 2006, Portland, OR.

ICFP'06 : proceedings of the eleventh ACM SIGPLAN international conference on functional programming : September 18-20, 2006 Portland, Oregon, USA. : ICFP 2006 : Sep 2006, Portland, OR.
Paper図書
Association for Computing Machineryc2006.<M17-07-847>
National Diet LibraryOther Libraries in Japan
  • Subject Heading...-- Congresses. Functional programming languages -- Congresses.

Implementation of functional languages : 13th international workshop, IFL 2001 : Stockholm, Sweden, September 24-26, 2001 : selected papers. : Sep 2001, Stockholm, Sweden. (Lecture Notes in Computer Science ; 2312)

Implementation of functional languages : 13th international workshop, IFL 2001 : Stockholm, Sweden, September 24-26, 2001 : selected papers. : Sep 2001, Stockholm, Sweden. (Lecture Notes in Computer Science ; 2312)
Paper図書
Springer2002.<M17-03-4147>
National Diet Library
  • Subject HeadingFunctional programming languages -- Congresses.

Implementation of functional languages : 12th international workshop, IFL 2000 : Aachen, Germany, September 4-7, 2000 : selected papers. : Sep 2000, Aachen, Germany. (Lecture Notes in Computer Science ; 2011)

Implementation of functional languages : 12th international workshop, IFL 2000 : Aachen, Germany, September 4-7, 2000 : selected papers. : Sep 2000, Aachen, Germany. (Lecture Notes in Computer Science ; 2011)
Paper図書
Springer2001.<M17-03-4667>
National Diet Library
  • Subject HeadingFunctional programming languages -- Congresses.

Implementation and application of functional languages : 20th international symposium, IFL 2008 : Hatfield, UK, September 10-12, 2008 : revised selected papers : Sep 2008, Hatfield, UK. (Lecture Notes in Computer Science ; 5836)

Implementation and application of functional languages : 20th international symposium, IFL 2008 : Hatfield, UK, September 10-12, 2008 : revised selected papers : Sep 2008, Hatfield, UK. (Lecture Notes in Computer Science ; 5836)
Paper図書
Springerc2011.<M17-12-1299>
National Diet Library
  • Subject HeadingFunctional programming languages--Congresses. Computer science...

Expert F# 4.0 : pbk. 4th ed

Expert F# 4.0 : pbk. 4th ed
Paper図書
Don Syme, Adam Granicz, Antonio CisterninoApressc2015
Other Libraries in Japan
  • Subject HeadingFunctional programming languages Microsoft.NET
  • Subject Heading (ID)Functional programming languages Microsoft.NET

Introducing Elixir

Introducing Elixir
Paper図書
Simon St. Laurent and J. David EisenbergO'Reilly Media2014
Other Libraries in Japan
  • Subject HeadingFunctional programming languages Functional programming (Compu...
  • Subject Heading (ID)Functional programming languages Functional programming (Compu...

Haskell design patterns : take your Haskell and functional programming skills to the next level by exploring new idioms and design patterns

Haskell design patterns : take your Haskell and functional programming skills to the next level by exploring new idioms and design patterns
Paper図書
Ryan LemmerPackt2015
Other Libraries in Japan
  • Subject Heading...gram language) Functional programming languages Functional programming (Compu...
  • Subject Heading (ID)...gram language) Functional programming languages Functional programming (Compu...

Theory of computation

Theory of computation
Paper図書
George TourlakisJohn Wiley & Sonsc2012
Other Libraries in Japan
  • Subject HeadingComputable functions Functional programming languages MATHEMATICS / Discrete Mathem...
  • Subject Heading (ID)Computable functions Functional programming languages MATHEMATICS / Discrete Mathem...

Lambda-calculus, combinators, and functional programming : pbk

Lambda-calculus, combinators, and functional programming : pbk
Paper図書
G.E. ReveszCambridge University Press2009
Other Libraries in Japan
  • Subject HeadingLambda calculus Combinatory logic Functional programming languages
  • Subject Heading (ID)Lambda calculus Combinatory logic Functional programming languages
RSS