skip to main content
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Thesis

Dynamic extension of typed functional languages

Stewart, Don, Computer Science & Engineering, Faculty of Engineering, UNSW

2010

Check for online availability

2
Material Type:
Thesis

Language extension via dynamically extensible compilers.

Seefried, Sean, Computer Science & Engineering, Faculty of Engineering, UNSW

2006

Check for online availability

3
Material Type:
Thesis

C, Lambda Calculus and Compiler Verification - a study in Haskell of purely-functional techniques for a formal specification of imperative programming languages and an epistemically-sound verification of their compilers

Zadarnowski, Patryk, Computer Science & Engineering, Faculty of Engineering, UNSW

2011

Check for online availability

4
Material Type:
Thesis

Thematic development in Japanese texts

Sawaki, Tomoko, Languages & Linguistics, Faculty of Arts & Social Sciences, UNSW

2001

Check for online availability

Refine Search Results

Refine My Results

Faculty 

  1. Arts and Social Sciences  (1)
  2. Engineering  (3)
  3. More options open sub menu

Date 

From To

Searching Remote Databases, Please Wait