[an error occurred while processing this directive]<title>Department of Computer Science: Functional Programming</title>
<meta name="keywords"
      content="Department of Computer Science Research Activities Functional Programming"></meta>
<meta name="description"
      content="Research activities in the area of Functional Programming"></meta>
<meta property="og:site_name" content="Department of Computer Science"></meta>
<meta property="og:title" content="Functional Programming"></meta>
<meta property="og:image:secure_url"
      content="http://www.cs.ox.ac.uk/images/Oxford-dept-of-Computer-Science-POS-KEY_RGB-social-large.png"></meta>
<meta property="og:image:secure_url"
      content="http://www.cs.ox.ac.uk/images/Oxford-dept-of-Computer-Science-POS-KEY_RGB-social.png"></meta>
<meta property="og:image"
      content="http://www.cs.ox.ac.uk/images/Oxford-dept-of-Computer-Science-POS-KEY_RGB-social-large.png"></meta>
<meta property="og:image"
      content="http://www.cs.ox.ac.uk/images/Oxford-dept-of-Computer-Science-POS-KEY_RGB-social.png"></meta>
<meta property="og:url" content="http://www.cs.ox.ac.uk/activities/fp/"></meta>
[an error occurred while processing this directive]
<!-- BREADCRUMBS -->
<div class="content-width">
   <ol class="breadcrumb text-uppercase">
      <li>
         <a href="/">Home</a>
      </li>
      <li>
         <a href="/research/">Research</a>
      </li>
      <li>
         <a href="/research/pl/">Programming Languages</a>
      </li>
      <li>
         <a href="/research/pl/activities.html">activities</a>
      </li>
      <li class="active">Functional Programming</li>
   </ol>
</div>
<!-- MOBILE NAVIGATION -->
<div class="content-width space-below mobile-menu-placeholder visible-xs visible-sm"></div>
<!-- COLUMNS -->
<div class="container-fluid content-width">
   <div class="row">
      <div class="col-xs-12 col-md-6 col-md-push-3" id="maincontent">
         <div class="page-title">
            <div class="row">
               <div class="col-xs-12 col-md-12">
                  <h1>Functional Programming</h1>
               </div>
            </div>
         </div>
         <div class="row">
            <h3>Faculty</h3>
         </div>
         <div class="row">
            <div itemscope="itemscope" itemtype="http://schema.org/Person"
                 class="picturebox col-xs-6 col-sm-4 col-md-4  clear-xs clear-sm clear-md clear-lg">
               <a class="piccy" href="/people/Jeremy.Gibbons/"
                  style="background-image:url('/files/2020//JG-20231123-210-head%26shoulders-reduced.jpg')"></a>
               <center>
                  <a href="/people/Jeremy.Gibbons/">
                     <span class="newcaption">
                        <span itemprop="name">Jeremy Gibbons</span>
                     </span>
                  </a>
               </center>
            </div>
         </div>
         <div class="row">
            <h3>Past Members</h3>
         </div>
         <div class="row">
            <div itemscope="itemscope" itemtype="http://schema.org/Person"
                 class="picturebox col-xs-6 col-sm-4 col-md-4  clear-xs clear-sm clear-md clear-lg">
               <a class="piccy" style="background-image:url('/files/1253//P1010438.JPG')"></a>
               <center>
                  <span class="newcaption">
                     <span itemprop="name">Tom Harper</span>
                  </span>
               </center>
            </div>
            <div itemscope="itemscope" itemtype="http://schema.org/Person"
                 class="picturebox col-xs-6 col-sm-4 col-md-4 ">
               <a class="piccy" style="background-image:url('/files/95//COM_1680.jpg')"></a>
               <center>
                  <span class="newcaption">
                     <span itemprop="name">Ralf Hinze</span>
                  </span>
               </center>
            </div>
            <div itemscope="itemscope" itemtype="http://schema.org/Person"
                 class="picturebox col-xs-6 col-sm-4 col-md-4  clear-xs">
               <a class="piccy" style="background-image:url('/files/1256//scone.jpg')"></a>
               <center>
                  <span class="newcaption">
                     <span itemprop="name">Daniel James</span>
                  </span>
               </center>
            </div>
            <div itemscope="itemscope" itemtype="http://schema.org/Person"
                 class="picturebox col-xs-6 col-sm-4 col-md-4  clear-sm clear-md clear-lg">
               <a class="piccy" style="background-image:url('/files/6239//IMG_0977.jpg')"></a>
               <center>
                  <span class="newcaption">
                     <span itemprop="name">Alex Kavvos</span>
                  </span>
               </center>
            </div>
            <div itemscope="itemscope" itemtype="http://schema.org/Person"
                 class="picturebox col-xs-6 col-sm-4 col-md-4  clear-xs">
               <a class="piccy" style="background-image:url('/files/2485//lester.martin.gif')"></a>
               <center>
                  <span class="newcaption">
                     <span itemprop="name">Martin Lester</span>
                  </span>
               </center>
            </div>
            <div itemscope="itemscope" itemtype="http://schema.org/Person"
                 class="picturebox col-xs-6 col-sm-4 col-md-4 ">
               <a class="piccy" style="background-image:url('/files/4764//me_m.jpg')"></a>
               <center>
                  <span class="newcaption">
                     <span itemprop="name">José Pedro Magalhães</span>
                  </span>
               </center>
            </div>
            <div itemscope="itemscope" itemtype="http://schema.org/Person"
                 class="picturebox col-xs-6 col-sm-4 col-md-4  clear-xs clear-sm clear-md clear-lg">
               <a class="piccy" style="background-image:url('/files/5882//_MG_0057%20crop.JPG')"></a>
               <center>
                  <span class="newcaption">
                     <span itemprop="name">Matthijs Vákár</span>
                  </span>
               </center>
            </div>
            <div itemscope="itemscope" itemtype="http://schema.org/Person"
                 class="picturebox col-xs-6 col-sm-4 col-md-4 ">
               <a class="piccy" style="background-image:url('/files/193//face.jpg')"></a>
               <center>
                  <span class="newcaption">
                     <span itemprop="name">Nicolas Wu</span>
                  </span>
               </center>
            </div>
         </div>
         <div class="row"></div>
      </div>
      <!-- TACTICAL BOXES (Column 3) -->
      <div class="col-xs-12 col-md-3 col-md-push-3 no-print">
         <div class="row">
            <div class="col-xs-12 col-sm-6 col-md-12">
               <div class="panel panel-dark-brown panel-links text-center">
                  <div class="panel-heading clearfix">
                     <h2 class="panel-title panel-title-small text-uppercase">Seminars</h2>
                     <span class="underbar"></span>
                  </div>
                  <div class="panel-body no-top-padding">
                     <ul>
                        <li style="margin-bottom:0.33em">
                           <a href="/seminars/oasis">OASIS: The Oxford Advanced Seminar on Informatic Structures</a>
                        </li>
                     </ul>
                  </div>
               </div>
            </div>
            <div class="col-xs-12 col-sm-6 col-md-12">
               <div class="panel panel-dark-brown panel-links text-center">
                  <div class="panel-heading clearfix">
                     <h2 class="panel-title panel-title-small text-uppercase">See also</h2>
                     <span class="underbar"></span>
                  </div>
                  <div class="panel-body no-top-padding">
                     <ul>
                        <li style="margin-bottom:0.33em">
                           <a href="http://www.cs.ox.ac.uk/activities/publications/date/algprog.html">Publications</a>
                        </li>
                     </ul>
                     <ul>
                        <li style="margin-bottom:0.33em">
                           <a href="/research/pl">Programming Languages</a>
                        </li>
                     </ul>
                  </div>
               </div>
            </div>
            <div class="col-xs-12 col-sm-6 col-md-12">
               <div class="panel panel-dark-brown panel-links text-center">
                  <div class="panel-heading clearfix">
                     <h2 class="panel-title panel-title-small text-uppercase">Completed Projects</h2>
                     <span class="underbar"></span>
                  </div>
                  <div class="panel-body no-top-padding"
                       style="max-height:300px; max-height: 50vh;overflow-y: auto">
                     <ul>
                        <li style="margin-bottom:0.33em">
                           <a href="/projects/gip/">Generic and Indexed Programming</a>
                        </li>
                        <li style="margin-bottom:0.33em">
                           <a href="/projects/dgp/">Datatype-Generic Programming</a>
                        </li>
                     </ul>
                  </div>
               </div>
            </div>
         </div>
      </div>
      <div class="col-xs-12 col-md-3 col-md-pull-9 side-menu-col">
         <!-- NAVIGATION (Column 1) -->
         [an error occurred while processing this directive]
      </div>
   </div>
</div>
[an error occurred while processing this directive]