Search results
Appearance
The page "9781605584201" does not exist. You can create a draft and submit it for review or request that a redirect be created, but consider checking the search results below to see whether the topic is already covered.
- p. 39. CiteSeerX 10.1.1.157.8373. doi:10.1145/1481861.1481868. ISBN 9781605584201. S2CID 14538045. Lucassen, John M.; Gifford, David K. (1988). "Polymorphic...9 KB (977 words) - 02:27, 24 September 2024
- 1–2. CiteSeerX 10.1.1.163.7149. doi:10.1145/1481861.1481862. ISBN 9781605584201. S2CID 1777213. Brady, Edwin (2013). "Idris, a general-purpose dependently...31 KB (4,700 words) - 07:23, 29 July 2024