Zobrazeno 1 - 10
of 336
pro vyhledávání: '"Normand, Jacques"'
Autor:
Garrigue, Jacques, Normand, Jacques Le
Publikováno v:
EPTCS 241, 2017, pp. 23-35
Sound exhaustiveness checking of pattern-matching is an essential feature of functional programming languages, and OCaml supports it for GADTs. However this check is incomplete, in that it may fail to detect that a pattern can match no concrete value
Externí odkaz:
http://arxiv.org/abs/1702.02281
Autor:
Kresina, Thomas F., Normand, Jacques
Publikováno v:
Clinical Infectious Diseases, 2004 Jun 01. 38, S398-S401.
Externí odkaz:
https://www.jstor.org/stable/4529183
Publikováno v:
Public Health Reports (1974-), 1998 Jun 01. 113, 4-18.
Externí odkaz:
https://www.jstor.org/stable/4598270
Autor:
Needle, Richard H., Normand, Jacques
Publikováno v:
Public Health Reports (1974-), 1998 Jun 01. 113, 19-30.
Externí odkaz:
https://www.jstor.org/stable/4598271
Autor:
Hser, Yih-Ing, Chang, Linda, Wang, Gene-Jack, Li, Ming D., Rawson, Richard, Shoptaw, Steven, Normand, Jacques, Tai, Betty
Publikováno v:
In Journal of Food and Drug Analysis December 2013 21(4) Supplement:S117-S122
Publikováno v:
In Journal of Food and Drug Analysis December 2013 21(4) Supplement:S10-S12
Publikováno v:
In Journal of Food and Drug Analysis December 2013 21(4) Supplement:S7-S9
Publikováno v:
In Journal of Food and Drug Analysis December 2013 21(4) Supplement:S4-S6