Skip to main content
Toggle navigation menu

Schools menu

  • Historical Studies
  • Mathematics
  • Natural Sciences
  • Social Science
  • Nelson Center

  • Campus Resources
  • Library
  • Dining

Utility menu

  • Campus Resources
  • Friends

Group Nav

  • About Toggle About submenu
    • Welcome
    • Mission & History
    • Director
    • Board of Trustees
    • Administration
    • Openness to Talent
    • Libraries & Archives
    • Publications
    • Videos
    • Campus & Lands
    • Sustainability
    • Maps & Directions
    • FAQs
    • Albert: IAS Repository
  • Ideas
  • Schools Toggle Schools submenu
    • Historical Studies
    • Mathematics
    • Natural Sciences
    • Social Science
  • Scholars Toggle Scholars submenu
    • Directors
    • Faculty & Emeriti
    • Current Scholars
    • All Scholars
    • Prospective Scholars
    • Artists-in-Residence
    • Director’s Visitors
    • AMIAS
  • News Toggle News submenu
    • Opinion
    • IAS News
    • In the Media
    • Press Releases
    • Press Center
    • Press Clips
    • Podcasts
  • Events Toggle Events submenu
    • Schools Seminars & Programs
    • Campus Community Events
    • Arts at IAS
    • Friends Events
    • Calendar
    • Record of Events
  • Programs Toggle Programs submenu
    • Arts at IAS
    • WAM
    • IAS/Park City Mathematics Institute
    • Prospects in Theoretical Physics
    • Science, Technology, and Social Values Lab
    • DigitalScholarship@IAS
  • Support Toggle Support submenu
    • Give Now
    • Ways to Give
    • Friends
    • Planned Giving
    • Contact Us
  • Apply

Group Subnav

Video
Open submenu

Breadcrumb

  1. Home
  2. Video Lectures
  3. Short Talks by Postdoctoral Members 2012
  4. Type Classes for Mathematical Formalizations in Coq

Type Classes for Mathematical Formalizations in Coq

Date

October 03, 2012

Speakers

Matthieu Sozeau

Affiliation

INRIA Paris; Member, School of Mathematics
School of Mathematics

Footer menu

  • Privacy
  • Careers
  • Press Center
  • Libraries & Archives
  • Store
  • Contact

Institute for Advanced Study
1 Einstein Drive
Princeton, New Jersey
08540 USA

Phone

(609) 734-8000

Email

contactus@ias.edu

Support

Help our scientists and scholars continue their field-shaping work.

Give Now

Connect

eNews Signup

Copyright © 2025 Institute for Advanced Study