Recipe: Skillet Gnocchi Mac and Cheese

Name: Recipe: Skillet Gnocchi Mac and Cheese
Ingredients: 1/2 teaspoon kosher salt, plus more for the pasta water; 2 (16-ounce) packages fresh or frozen potato gnocchi; 6 tablespoons (3/4 stick) unsalted butter; 1/3 cup all-purpose flour; 3 cups whole or 2% milk; 8 ounces shredded sharp cheddar cheese (about 2 1/2 packed cups); 2 teaspoons Dijon mustard; 1/4 teaspoon freshly ground black pepper; 1/4 teaspoon paprika; 3/4 cup grated Parmesan cheese, divided; Finely chopped fresh basil or parsley leaves, for serving