Found 4 Documents (Results 1–4)
Finally tagless, partially evaluated: tagless staged interpreters for simpler typed languages. (English) Zbl 1191.68158
MSC:
68N18
Hoare type theory, polymorphism and separation. (English) Zbl 1155.68354
MSC:
68N18
Filter Results by …
all
top 5
Author
- Birkedal, Lars (1)
- Blanqui, Frédéric (1)
- Carette, Jacques (1)
- Kiselyov, Oleg (1)
- Morrisett, Greg (1)
- Nanevski, Aleksandar (1)
- Peyton Jones, Simon L. (1)
- Schrijvers, Tom (1)
- Shan, Chung-chieh (1)
- Sulzmann, Martin (1)
- Vytiniotis, Dimitrios (1)
Volume
- 28 (2018) (1)
- 21, No. 4-5 (2011) (1)
- 19, No. 5 (2009) (1)
- 18, No. 5-6 (2008) (1)
Main Field
- 68-XX (4)