5 results
The FAST Ultra-Deep Survey (FUDS): Observational strategy, calibration and data reduction
-
- Journal:
- Publications of the Astronomical Society of Australia / Volume 39 / 2022
- Published online by Cambridge University Press:
- 26 April 2022, e019
-
- Article
-
- You have access
- HTML
- Export citation
14 - KanseiGenie: software infrastructure for resource management and programmability of wireless sensor network fabrics
- from Part III - Protocols and practice
-
-
- Book:
- Next-Generation Internet
- Published online:
- 05 October 2012
- Print publication:
- 03 February 2011, pp 275-300
-
- Chapter
- Export citation
Dependent ML An approach to practical programming with dependent types
-
- Journal:
- Journal of Functional Programming / Volume 17 / Issue 2 / March 2007
- Published online by Cambridge University Press:
- 01 March 2007, pp. 215-286
-
- Article
-
- You have access
- Export citation
Meta-programming through typeful code representation
-
- Journal:
- Journal of Functional Programming / Volume 15 / Issue 6 / November 2005
- Published online by Cambridge University Press:
- 06 October 2005, pp. 797-835
-
- Article
-
- You have access
- Export citation
Upper bounds for standardizations and an application
-
- Journal:
- The Journal of Symbolic Logic / Volume 64 / Issue 1 / March 1999
- Published online by Cambridge University Press:
- 12 March 2014, pp. 291-303
- Print publication:
- March 1999
-
- Article
- Export citation