Found: 7
Select item for more details and to access through your institution.
A FORMAL PROOF OF THE KEPLER CONJECTURE.
- Published in:
- Forum of Mathematics, Pi, 2017, v. 5, p. 1, doi. 10.1017/fmp.2017.1
- By:
- Publication type:
- Article
Making security type systems less ad hoc.
- Published in:
- IT: Information Technology, 2014, v. 56, n. 6, p. 267, doi. 10.1515/itit-2014-1060
- By:
- Publication type:
- Article
A compiled implementation of normalisation by evaluation.
- Published in:
- Journal of Functional Programming, 2012, v. 22, n. 1, p. 9, doi. 10.1017/S0956796812000019
- By:
- Publication type:
- Article
A Revision of the Proof of the Kepler Conjecture.
- Published in:
- Discrete & Computational Geometry, 2010, v. 44, n. 1, p. 1, doi. 10.1007/s00454-009-9148-4
- By:
- Publication type:
- Article
Verified lightweight bytecode verification.
- Published in:
- Concurrency & Computation: Practice & Experience, 2001, v. 13, n. 13, p. 1133, doi. 10.1002/cpe.597
- By:
- Publication type:
- Article
HOLCF = HOL + LCF.
- Published in:
- Journal of Functional Programming, 1999, v. 9, n. 2, p. 191, doi. 10.1017/s095679689900341x
- By:
- Publication type:
- Article
Type Reconstruction for Type Classes.
- Published in:
- Journal of Functional Programming, 1995, v. 5, n. 2, p. 201, doi. 10.1017/S0956796800001325
- By:
- Publication type:
- Article