Type checking with open type functions

Author(s):  
Tom Schrijvers ◽  
Simon Peyton Jones ◽  
Manuel Chakravarty ◽  
Martin Sulzmann
Keyword(s):  
2008 ◽  
Vol 43 (9) ◽  
pp. 51-62 ◽  
Author(s):  
Tom Schrijvers ◽  
Simon Peyton Jones ◽  
Manuel Chakravarty ◽  
Martin Sulzmann
Keyword(s):  

2014 ◽  
Vol 8 (6) ◽  
pp. 1012
Author(s):  
Yusuke Katayama ◽  
Shouichiro Iio ◽  
Salisa Veerapun
Keyword(s):  

2004 ◽  
Vol 36 (11) ◽  
pp. 42-50
Author(s):  
Ludmila I. Samoilenko ◽  
Tatyana V. Ilyenko ◽  
Ludmila V. Podgorodetskaya ◽  
Ludmila N. Kolos

2015 ◽  
Vol 6 (3) ◽  
pp. 943-947 ◽  
Author(s):  
Konstantinos Ravanis

The representation of the properties and phenomena of the physical world exists from the beginning of life, as a first datum of reality. In several studies focused on children's representations we find that these representations these representations are critical to education and are often incompatible with the scientific model. This article presents the results of an empirical research on the representations of young children for melting and solidification of salt. The research sample consisted of 79 pre-school children (five to six years old) from one state kindergarten in Greece. Data were collected through expanded, open type, semi-structured individual conversations between a child of the sample and one researcher. The results of the interviews show that these children use different types of representations, the majority dominated by the nature of the substance under study.


2020 ◽  
Vol 4 (POPL) ◽  
pp. 1-28 ◽  
Author(s):  
Matthieu Sozeau ◽  
Simon Boulier ◽  
Yannick Forster ◽  
Nicolas Tabareau ◽  
Théo Winterhalter
Keyword(s):  

Sign in / Sign up

Export Citation Format

Share Document