Browse by Author or creator
Jump to: 2015
Number of items: 1.
2015
Atkey, Robert and Ghani, Neil and Nordvall Forsberg, Fredrik and Revell, Timothy and Staton, Sam; Altenkirch, Thorsten, ed. (2015) Models for polymorphism over physical dimensions. In: 13th International Conference on Typed Lambda Calculi and Applications (TLCA'15). Leibniz International Proceedings in Informatics (LIPIcs) . Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, POL, pp. 999-1013.
This list was generated on Sun Dec 22 11:35:50 2024 GMT.