Skip to content

Research at St Andrews

Lightweight Invariants with Full Dependent Types

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Details

Original languageEnglish
Title of host publicationTrends in Functional Programming
PublisherIntellect Books
StatePublished - 2008

Discover related content
Find related publications, people, projects and more using interactive charts.

View graph of relations

Related by author

  1. Resource-Safe Systems Programming with Embedded Domain Specific Languages

    Brady, E. C. & Hammond, K. 2012 Practical Aspects of Declarative Languages: 14th International Symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings. Russo, C. & Zhou, N-F. (eds.). Springer, Vol. 7149, p. 242-257 16 p. (Lecture Notes in Computer Science)

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  2. Scrapping your inefficient engine: using partial evaluation to improve domain-specific language implementation

    Brady, E. C. & Hammond, K. 2010 ICFP '10: Proceedings of the 15th ACM SIGPLAN international conference on Functional programming. ACM, p. 297-308 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  3. Constructing Correct Circuits: Verification of Functional Aspects of Hardware Specifications with Dependent Types

    Brady, E. C., McKinna, J. H. & Hammond, K. 2008 Trends in Functional Programming. Intellect Books, Vol. 8, p. 159-176

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

ID: 5011652