| 
			1 | 
		
			
									
						Object oriented programming Berlin : Springer, 2004
					
							 | 
									
			
								
															  
																  
										
								
			 | 
		
		
			
			 
			
					    					 
							
			 | 
			2 | 
		
			
									
						[Object oriented programming] [Berlin : [Springer], 2004
					
							 | 
									
			
								
									  
								
			 | 
		
		
			
			 
			
					    					 
							
			 | 
			3 | 
		
			
									
						Proof of the principal type property for system O Wehr, Martin. - Karlsruhe : Univ., Fak. für Informatik, 1996
					
							 | 
									
			
								
															  
																  
										
								
			 | 
		
		
			
			 
			
					    					 
							
			 | 
			4 | 
		
			
									
						Type inference with constrained types Sulzmann, Martin. - Karlsruhe : Univ., Fak. für Informatik, 1996
					
							 | 
									
			
								
															  
																  
										
								
			 | 
		
		
			
			 
			
					    					 
							
			 | 
			5 | 
		
			
									
						A second look at overloading Odersky, Martin. - Karlsruhe : Univ., Fak. für Informatik, 1995
					
							 | 
									
			
								
															  
																  
										
								
			 | 
		
		
			
			 
			
					    					 
							
			 | 
			6 | 
		
			
									
						Process calculus foundation of sequential programming constructs Odersky, Martin. - Karlsruhe : Univ., Fak. für Informatik, 1994
					
							 | 
									
			
								
															  
																  
										
								
			 | 
		
		
			
			 
			
					    					 
							
			 | 
			7 | 
		
			
									
						The call by need lambda calculus Maraist, John. - Karlsruhe : Univ., Fak. für Informatik, 1994
					
							 | 
									
			
								
															  
																  
										
								
			 | 
		
		
			
			 
			
					    					 
							
			 | 
			8 | 
		
			
									
						A new approach to formal language definition and its application to Oberon Odersky, Martin, 1989
					
							 | 
									
			
								
															  
															
								
			 |