ITU - PDFSEARCH.IO - Document Search Engine

ITU
Results: 7341

#	Item
431	PDF Document Add to Reading List Source URL: www.itu-net.jp Language: German - Date: 2014-08-12 02:55:29
432	PDF Document Add to Reading List Source URL: www.ac4mobhci2012.itu.edu.tr Language: English - Date: 2012-10-22 09:57:11
433	PDF Document Add to Reading List Source URL: www.itu-apt.org - Date: 2015-01-04 12:42:08
434	JULY 09 In association with 150th Anniversary Celebrations  Add to Reading List Source URL: www.itu-apt.org - Date: 2015-07-05 13:38:45
435	Parametric Completion for Models of Polymorphic Linear / Intuitionistic Lambda Calculus Rasmus Ejlers Møgelberg IT University Technical Report Series Add to Reading List Source URL: www.itu.dk Language: English - Date: 2007-10-19 09:09:05
436	A logic for parametric polymorphism with effects Rasmus Ejlers Møgelberg and Alex Simpson LFCS, School of Informatics, University of Edinburgh Abstract. We present a logic for reasoning about parametric polymorphism in Add to Reading List Source URL: www.itu.dk Language: English - Date: 2007-12-18 07:08:12
437	PDF Document Add to Reading List Source URL: www.itu-apt.org - Date: 2014-11-30 14:38:32
438	ISO/IEC JTC1/SC7/WG19 HYD-011 ITU-T X.902 \| ISO/IECDate: ISO/IEC JTC 1/SC 7 Add to Reading List Source URL: www.lcc.uma.es Language: English - Date: 2013-11-05 06:04:33
439	Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be found at the ENTCS Macro Home Page. Relational Parametricity for Control Considered as a Computational Effect Add to Reading List Source URL: www.itu.dk Language: English - Date: 2007-10-19 09:09:05
440	MAKE TH HE E RIGH HT T CO ON Add to Reading List Source URL: www.itu.int Language: English - Date: 2008-04-22 05:48:22

UPDATE