Cimini - PDFSEARCH.IO - Document Search Engine

Cimini
Results: 15

#	Item
1	Examples and Proofs for the paper ¯ µ-calculus Functions as processes: termination and the λµ ˜ 1 Add to Reading List Source URL: cimini.info - Date: 2012-03-09 11:06:02
2	Types T ::= Bool \| Int \| T ! T \| T ⇥ T \| List T Expressions e ::= true \| false \| if e then e else e \| zero \| succ e \| pred e \| isZero e \| x \| x.e \| e e \| he, ei \| fst e \| snd e Add to Reading List Source URL: cimini.info - Date: 2018-02-25 15:41:04
3	Nominal Structural Operational Semantics? Luca Aceto1 , Matteo Cimini2 , Anna Ingolfsdottir1 , MohammadReza Mousavi3 , Michel A. Reniers4 , and Murdoch J. Gabbay5 1 ICE-TCS, School of Computer Science, Reykjav´ık Univ Add to Reading List Source URL: cimini.info - Date: 2015-12-30 23:47:11
4	Matteo Cimini Curriculum Vitae Indiana University, CREST 420 North Walnut Street, Bloomington, IndianaPhone: + Add to Reading List Source URL: cimini.info Language: English - Date: 2016-01-07 02:20:33 Theoretical computer science Symposium on Principles of Programming Languages Operational semantics Cimini Computer science
5	The Gradualizer: A Methodology and Algorithm for Generating Gradual Type Systems Matteo Cimini Jeremy G. Siek Add to Reading List Source URL: dl.dropboxusercontent.com Language: English Type theory Lambda calculus Type systems Models of computation Program analysis Simply typed lambda calculus Gradual typing Monad System F
6	Refined Criteria for Gradual Typing Jeremy G. Siek, Michael M. Vitousek, Matteo Cimini, John Tang Boyland, Sam Tobin-Hochstadt Indiana University Bloomington SNAPL 2015 Add to Reading List Source URL: dl.dropboxusercontent.com
7	CETEMPS – University of L’Aquila Passive ground-based remote sensing using microwave radiometers DomeNico Cimini Add to Reading List Source URL: netfam.fmi.fi Language: English - Date: 2009-03-19 01:56:03
8	MC4-5-7-May-Granada-Agenda-v5 Add to Reading List Source URL: www.toprof.imaa.cnr.it Language: English - Date: 2015-04-30 04:05:36 Brettle Cimini Hills Doppler Ceilometer Microwave radiometer Agenda Meeting Technology Radiometry LIDAR Robotic sensing
9	Menzel/Matarrese/Puca/Cimini/De Pasquale/Antonelli Lab 2 – Ocean Properties inferred from MODIS data June 2006 Table: MODIS Channel Number, Wavelength (µ m), and Primary Application Reflective Bands Emissive Bands Add to Reading List Source URL: cimss.ssec.wisc.edu Language: English - Date: 2013-10-04 12:20:13 Oceanography Moderate-Resolution Imaging Spectroradiometer Atmospheric radiative transfer codes Sea surface temperature Water vapor GUI widget 6S Button Cirrus cloud Atmospheric sciences Meteorology Earth
10	Microsoft Word - HJ 4-29.docm Add to Reading List Source URL: webserver.rilin.state.ri.us Language: English - Date: 2014-04-30 10:24:53 DeSimone Cimini Hills Rhode Island House of Representatives

UPDATE