Pat Fung

According to our database, Pat Fung authored at least 10 papers between 1989 and 2003.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2003

Software that assists learning within a complex abstract domain: the use of constraint and consequentiality as learning mechanisms.

James Aczel, Pat Fung, Richard Bornat, Martin Oliver, Tim O'Shea, Bernard Sufrin

Br. J. Educ. Technol., 2003

2002

A visual programming approach for teaching cognitive modelling.

Trevor D. Collins, Pat Fung

Comput. Educ., 2002

2001

Portable information technologies for supporting graphical mathematics investigations: overview of the PIGMI Project.

Sara Hennessy, Pat Fung, Eileen Scanlon

J. Comput. Assist. Learn., 2001

1999

Evaluating Hank.

Trevor D. Collins, Pat Fung

Proceedings of the 11th Annual Workshop of the Psychology of Programming Interest Group, 1999

Computer science undergraduates learning logic using a proof editor: work in progress.

James Aczel, Pat Fung, Richard Bornat, Martin Oliver, Tim O'Shea, Bernard Sufrin

Proceedings of the 11th Annual Workshop of the Psychology of Programming Interest Group, 1999

1997

The Use and Effectiveness of Palmtop Computers in Education.

Sydney Robertson, Judith Calder, Pat Fung, Ann C. Jones, Tim O'Shea

Br. J. Educ. Technol., 1997

1996

Computer tools to teach formal reasoning.

Pat Fung, Tim O'Shea, Doug Goldson, Steve Reeves, Richard Bornat

Comput. Educ., 1996

1992

Programming in the Real World: Computer Science students' perceptions of the values and difficulties of learning formal methods.

Tim O'Shea, Pat Fung, Richard Bornat, Steve Reeves, Doug Goldson

Proceedings of the 4th Annual Workshop of the Psychology of Programming Interest Group, 1992

Fear of Formal Reasoning.

Pat Fung, Pamela O'Shea, Richard Bornat, Steve Reeves, Doug Goldson

Proceedings of the 5th Annual Workshop of the Psychology of Programming Interest Group, 1992

1989

An application of formal semantics to student modelling : an investigation in the domain of teaching Prolog.

Pat Fung

PhD thesis, 1989