Skip to content
SICSA
  • About
    • News
    • Events
    • People
  • Funding
  • Research
    • Research Themes
      • Artificial Intelligence & Data Science
      • Cyber Security
      • Human-Computer Interaction & Interactive Technology
      • Scottish Programming Languages Institute
      • Systems & Software Engineering
      • Theory, Modelling & Computation
    • Research Innovation Scotland
      • International Coffee Break
      • Multidisciplinary Matchmaker
  • Knowledge Exchange
  • Graduate Academy
    • SICSA PhD Conference
    • PhD Opportunities
  • Education
    • Champions
    • Learning & Teaching Scholars
    • Funding
    • Resources for Educators
  • Contact

Course on Dependently Typed Metaprogramming, 2013-14

Course on Dependently Typed Metaprogramming, 2013-14

Home

About

Funding

Research

Knowledge Exchange

Graduate Academy

Education

Contact

© SICSA 2025

Terms of Service

  • About
    • News
    • Events
    • People
  • Funding
  • Research
    • Research Themes
      • Artificial Intelligence & Data Science
      • Cyber Security
      • Human-Computer Interaction & Interactive Technology
      • Scottish Programming Languages Institute
      • Systems & Software Engineering
      • Theory, Modelling & Computation
    • Research Innovation Scotland
      • International Coffee Break
      • Multidisciplinary Matchmaker
  • Knowledge Exchange
  • Graduate Academy
    • SICSA PhD Conference
    • PhD Opportunities
  • Education
    • Champions
    • Learning & Teaching Scholars
    • Funding
    • Resources for Educators
  • Contact