Skip to main content

Browse by Publisher

Group by: Item Type | Date | No Grouping
Jump to: Monograph
Number of items: 11.

Monograph

Luo, Yong and Chitil, Olaf (2007) Algorithmic Debugging with Cyclic Traces of Lazy Functional Programs. Technical report. Computing Laboratory, University of Kent, Canterbury, Kent (KAR id:14557)
[thumbnail of Algorithmic_Debugging.pdf]
Preview
Luo, Yong and Chitil, Olaf (2007) Algorithmic debugging and trusted functions. Technical report. Computing Laboratory, University of Kent, Canterbury, Kent (KAR id:14559)
[thumbnail of Algorithmic_Debugging.pdf]
Preview
Luo, Yong (2005) New eta-reduction and Church-Rosser. Technical report. Computing Laboratory, University of Kent, University of Kent, Canterbury, Kent, UK (KAR id:14239)
[thumbnail of eta_yong.pdf]
Preview
Ryder, Chris and Thompson, Simon (2005) Porting HaRe to the GHC API. Technical report. Computing Laboratory, University of Kent, University of Kent, Canterbury, Kent, UK (KAR id:14237)
[thumbnail of Tech_Chris.pdf]
Preview
Thompson, Simon and Reinke, Claus (2001) Refactoring Functional Programs. Technical report. Computing Laboratory, University of Kent, Canterbury, Kent (KAR id:13540)
[thumbnail of refactoring_functional_programs_thompson.pdf]
Preview
Carter, Janet (2001) Arresting the Decline: conversations with female CS undergraduates. Technical report. Computing Laboratory, University of Kent (Unpublished) (KAR id:13596)
[thumbnail of arresting_the_decline_carter.pdf]
Preview
Ryder, Chris and Thompson, Simon (1999) Aldor meets Haskell. Technical report. Computing Laboratory, University of Kent (KAR id:21762)
[thumbnail of aldor_meets_haskell_ryder.pdf]
Preview
[thumbnail of aldor_meets_haskell_ryder.ps]
Preview
Thompson, Simon (1987) Interactive Functional Programs: a Method and a Formal Semantics. Technical report. Computing Laboratory, University of Kent, Canterbury, UK (KAR id:20889)
[thumbnail of interactive_thompson.pdf]
Preview
Thompson, Simon (1986) Proving properties of functions defined on lawful types. Technical report. Computing Laboratory, University of Kent, University of Kent, Canterbury, UK (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:20917)
Welch, Peter H. (1985) The Effect of New Real-Time Software Engineering Methodologies on Marconi Avionics - Final Report. Technical report. Computing Laboratory, University of Kent (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:20910)
Welch, Peter H. (1980) LAMBDA Tutorial Guide. Manual. Computing Laboratory, University of Kent (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:20897)
This list was generated on Tue Nov 30 01:57:38 2021 GMT.