Pages that link to "Item:Q5178757"
From MaRDI portal
The following pages link to A type-preserving compiler in Haskell (Q5178757):
Displaying 5 items.
- Type-safe code transformations in Haskell (Q2866331) (← links)
- Compiling Haskell to JavaScript through Clean's core (Q2898774) (← links)
- Evidence normalization in System FC (invited talk) (Q2958372) (← links)
- A typed representation for HTML and XML documents in Haskell (Q3149008) (← links)
- ANF preserves dependent types up to extensional equality (Q5051989) (← links)