| Title: | 
						A Co-contextual Type Checker for Featherweight Java  | 
					
					
						| Article URLs: | 
						
							
						 | 
					
					
						| Alternative Article URLs: | 
						 | 
					
					
						| Authors: | 
						Edlira Kuci | 
						
							
								- 
									Technische Universität Darmstadt
								
 
							 
						 | 
					
					
						| Sebastian Erdweg | 
						
							
						 | 
					
					
						| Oliver Bracevac | 
						
							
								- 
									Technische Universität Darmstadt
								
 
							 
						 | 
					
					
						| Andi Bejleri | 
						
							
								- 
									Technische Universität Darmstadt
								
 
							 
						 | 
					
					
						| Mira Mezini | 
						
							
								- 
									Technische Universität Darmstadt
								
 
								- 
									Lancaster University
								
 
							 
						 | 
					
					
						| Sharing: | 
						
							Unknown
						 | 
					
					
						| Verification: | 
						
							Authors have
							not verified
							information
						 | 
					
					
						| Artifact Evaluation Badge: | 
						
							none
						 | 
					
					
						| Artifact URLs: | 
						
							
						 | 
					
					
						| Artifact Correspondence Email Addresses: | 
						
							
						 | 
					
					
						| NSF Award Numbers: | 
						
						 | 
					
					
						| DBLP Key: | 
						
							conf/ecoop/KuciEBBM17
						 | 
					
					
						| Author Comments: |  
						 |