Author:
Brady Edwin,Hammond Kevin
Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. Augustsson, L., Carlsson, M.: An exercise in dependent types: A well-typed interpreter (1999)
2. Bhatti, S., Brady, E., Hammond, K., McKinna, J.: Domain specific languages (DSLs) for network protocols. In: International Workshop on Next Generation Network Architecture, NGNA 2009 (2009)
3. Lecture Notes in Computer Science;E. Brady,2007
4. Brady, E.: Epic — a library for generating compilers. In: Trends in Functional Programming, TFP 2011 (to appear, 2011)
5. Brady, E.: Idris — systems programming meets full dependent types. In: Programming Languages meets Program Verification (PLPV 2011), pp. 43–54 (2011)
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Type-Level Property Based Testing;Proceedings of the 9th ACM SIGPLAN International Workshop on Type-Driven Development;2024-08-28
2. Perspectives on adaptive dynamical systems;Chaos: An Interdisciplinary Journal of Nonlinear Science;2023-07-01
3. Intrinsically typed compilation with nameless labels;Proceedings of the ACM on Programming Languages;2021-01-04
4. Value-Dependent Session Design in a Dependently Typed Language;Electronic Proceedings in Theoretical Computer Science;2019-04-02
5. Implementing resource-aware safe assembly for kernel probes as a dependently-typed DSL;Proceedings of the 3rd ACM SIGPLAN International Workshop on Type-Driven Development;2018-09-27