Share This Page

Menu

Skip to content
  • Home
  • About Us
    • About Us
    • People
    • Our Members
    • Reports
    • Vacancies
    • Resources
  • News & Events
    • News & Events
    • Latest News
    • SICSA Peer Support Network
    • SICSA Conference 2020
    • Blog
    • News Archive
    • Forthcoming Events
    • Events Archive
    • SICSA PhD Conference
    • DemoFest
  • Funding
    • Funding
    • Students
      • SICSA Research Scholar
      • Virtual Conference Registration
    • Academics & Postdoctoral Researchers
      • Host a Visitor (DVF)
      • Conference Sponsorship
      • Education Event Sponsorship
      • SICSA Research Theme Event Sponsorship (Cross Themes or Disciplines)
      • Summer School Sponsorship
    • Summary of Deadlines
  • Research
    • Research Themes
      • Artificial Intelligence
      • Cyber-Physical Systems
      • Cyber Security
      • Data Science
      • Human-Computer Interaction
      • Networking and Systems
      • Theory, Modelling and Computation
    • Find an Expert
    • Video Wall
    • PhD Studentships
    • Visiting Fellows
      • Forthcoming Distinguished Visiting Fellows
  • Knowledge Exchange
    • Industry Collaboration
      • Cyber Security
      • Data Science
      • DemoFest
    • Knowledge Exchange
      • Find an Expert
      • Connecting Students, Academia and Industry
  • Education
    • Education
    • SICSA Education Champions
    • Education Event Sponsorship
    • Useful Links for Computing Science Education
  • Contact
  • Join Our Mailing Lists

Course on Dependently Typed Metaprogramming, 2013-14

Posted on July 25, 2014
Share This Page

Course on Dependently Typed Metaprogramming, 2013-14

This entry was posted in .

Post navigation

SICSA News

  • New SICSA Deputy Director of Education September 20, 2023
  • Apply now for the 2023-24 SICSA Education Learning & Teaching Scholars Programme September 15, 2023
  • SICSA PhD Conference 2023 – Registration is now open! August 21, 2023
Tweets by @SICSA_Scotland
  • About Us
    • People
    • Our Members
    • Reports
    • Vacancies
    • Resources
  • Funding
    • Students
    • Academics & Post Doctoral Researchers
    • Summary of Deadlines
  • Research
    • Research Themes
    • Video Wall
    • Research Projects
    • PhD Studentships
    • Visiting Fellows
  • Knowledge Exchange
    • Industry Collaboration
  • Education
    • Useful Links
Copyright @ SICSA* 2008 -
Terms & Conditions | Privacy & Cookies | Contact Us
  • Home
  • About Us
    ▾
    • About Us
    • People
    • Our Members
    • Reports
    • Vacancies
    • Resources
  • News & Events
    ▾
    • News & Events
    • Latest News
    • SICSA Peer Support Network
    • SICSA Conference 2020
    • Blog
    • News Archive
    • Forthcoming Events
    • Events Archive
    • SICSA PhD Conference
    • DemoFest
  • Funding
    ▾
    • Funding
    • Students
      ▾
      • SICSA Research Scholar
      • Virtual Conference Registration
    • Academics & Postdoctoral Researchers
      ▾
      • Host a Visitor (DVF)
      • Conference Sponsorship
      • Education Event Sponsorship
      • SICSA Research Theme Event Sponsorship (Cross Themes or Disciplines)
      • Summer School Sponsorship
    • Summary of Deadlines
  • Research
    ▾
    • Research Themes
      ▾
      • Artificial Intelligence
      • Cyber-Physical Systems
      • Cyber Security
      • Data Science
      • Human-Computer Interaction
      • Networking and Systems
      • Theory, Modelling and Computation
    • Find an Expert
    • Video Wall
    • PhD Studentships
    • Visiting Fellows
      ▾
      • Forthcoming Distinguished Visiting Fellows
  • Knowledge Exchange
    ▾
    • Industry Collaboration
      ▾
      • Cyber Security
      • Data Science
      • DemoFest
    • Knowledge Exchange
      ▾
      • Find an Expert
      • Connecting Students, Academia and Industry
  • Education
    ▾
    • Education
    • SICSA Education Champions
    • Education Event Sponsorship
    • Useful Links for Computing Science Education
  • Contact
  • Join Our Mailing Lists


Share This Page
Skip to toolbar
  • About WordPress
    • WordPress.org
    • Documentation
    • Learn WordPress
    • Support
    • Feedback