• Practical Programming with Hig...

*Result*: Practical Programming with Higher-Order Encodings and Dependent Types

Title:
Practical Programming with Higher-Order Encodings and Dependent Types
Programming; Programming languages and systems: European Symposium on Programming, ESOP 2008
Authors:
Poswolsky, A., Schurmann, C.
Source:
LECTURE NOTES INCOMPUTER SCIENCE. (4960):93-107
Availability:
http://explore.bl.uk/primo_library/libweb/action/display.do?tabs=detailsTab&gathStatTab=true&ct=display&fn=search&doc=ETOCCN068251230&indx=1&recIds=ETOCCN068251230
Database:
British Library Document Supply Centre Inside Serials & Conference Proceedings